11 lines
358 B
Modula-2
11 lines
358 B
Modula-2
init initDerivationsHelpers
|
|
|
|
Derive | ATermList ATermList ATermList string string ATermList ATermList | ATerm |
|
|
|
|
| string string | ATerm | EnvBinding |
|
|
| string ATermList | ATerm | DerivationInput |
|
|
| string string string string | ATerm | DerivationOutput |
|
|
|
|
Closure | ATermList ATermList | ATerm | OldClosure |
|
|
| string ATermList | ATerm | OldClosureElem |
|