9 lines
282 B
Modula-2
9 lines
282 B
Modula-2
init initStoreExprHelpers
|
|
|
|
Closure | ATermList ATermList | ATerm |
|
|
Derive | ATermList ATermList string string ATermList ATermList | ATerm |
|
|
|
|
| string string | ATerm | EnvBinding |
|
|
| string ATermList | ATerm | ClosureElem |
|
|
| string string string string | ATerm | DerivationOutput |
|