LocalDictionary -- the class of all local dictionaries
Description
A local dictionary is one used in connection with a local scope, such as one that is bounded by the body of a function closure. A local dictionary is created on the fly by the interpreter, and after the scope has been closed, the dictionary can be enlarged no further. Accessing local dictionaries can be a useful debugging tool. The local dictionaries accessible to the user come with frames, so their symbols have values; thus they may be referred to as dictionary closures.
Methods that use an object of class LocalDictionary:
The source of this document is in Macaulay2Doc/ov_repl.m2:462:0.