Module lamcal::environment [−][src]
The environment is the context in which a lambda term is evaluated.
Structs
| Binding |
A binding definition. |
| Environment |
The environment in which lambda terms get evaluated. |
Functions
| bind |
Constructs a new |