search for:
Database # String
-- get value from database
Synopsis:
Operator:
#
-- length, or access to elements
Input:
an instance of class
Database
.
an instance of class
String
.
Output:
an instance of class
String
.
x#i
-- provides the value associated to the key
i
in the database
x
.
See also:
Database #? String
-- check for value in database
search for:
![[top]](top.gif)
![[index]](index.gif)