next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
home
GlobalDictionary -- the class of all global dictionaries
See also
dictionaryPath
LocalDictionary
-- the class of all local dictionaries
Fixed objects of class GlobalDictionary :
OutputDictionary
-- the dictionary for output values
PackageDictionary
-- the dictionary for names of packages
For the programmer
The object
GlobalDictionary
is
a
type
, with ancestor classes
Dictionary
<
Thing
.