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