GlobalDictionary -- the class of all global dictionaries

Fixed objects of class GlobalDictionary :

• PackageDictionary -- the dictionary for names of packages

For the programmer

The object GlobalDictionary is a type, with ancestor classes Dictionary < Thing.