org.emmalanguage.ast.Terms.TermAPI
Lambdas (anonymous functions).
Creates a type-checked lambda.
The symbols of all parameters (to be copied with a new owner).
The function body (with parameter symbols substituted), owned by the lambda.
(..params) => body.
(..params) => body
Lambdas (anonymous functions).