Representation of Environments

Environment metaobjects represent bindings between names and types. If the name denotes a variable, it is bound to the type of that variable. Otherwise, if the name denotes a type, it is bound to the type itself. Programmers can look up names by the following member functions on Environment metaobjects:

Public Members

[First | Prev | Next]