C | |
| cmd [Lang] |
A command.
|
D | |
| desc [Lang] |
Contents of an expression.
|
E | |
| evar [Lang] |
A meta-variable.
|
| expr [Lang] |
An expression.
|
P | |
| prog [Lang] |
A program.
|
| ps [Lang] |
A pasting scheme.
|
S | |
| subst [Lang] |
A substitution.
|
T | |
| t [Lang.Envs] |
A running environment.
|
| t [Lang.Env] |
A typing environment assign to each variable, its value (when known, which
should be in normal form) and its type.
|
| t [Lang.PS] |
A pasting scheme.
|
V | |
| var [Lang] |
A variable.
|