|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| Env<T> | Generic indexed environment, used primarily at runtime. |
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 | |||||||||