Module lambda_calculus::term [−] [src]

Enums

Error	An error that can be returned when an inapplicable function is applied to a term.
Term	A lambda term that is either a variable with a De Bruijn index, an abstraction over a term or an applicaction of one term to another.

DISPLAY_CLASSIC	Set to `true` for classic lambda mode or `false` for the De Bruijn index display mode when displaying lambda terms. The default is `false`.
DISPLAY_PRETTY	Set to `true` for λ or `false` for \ when displaying lambda terms. The default is `true`.

abs	Wraps a `Term` in an `Abs`traction. Consumes its argument.
app	Produces an `App`lication of its `Term` arguments without any reduction, consuming them in the process.