|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
Env<T> | Generic indexed environment, used primarily at runtime. |
Exception Summary | |
---|---|
EnvException | |
LookupFailureException | |
SearchFailureException |
A lexical context which supports both offset- and name-based lookup. This is used at compile time to convert variables to DeBruijn indices, and at runtime to store variable bindings.
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |