[−][src]Module minitt::syntax

Syntax: term, expression, context. Methods are inside the reduce module.

Enums

Closure	`Clos` in Mini-TT.
Declaration	`Decl` in Mini-TT.
Expression	`Exp` in Mini-TT. Expression language for Mini-TT.
Neutral	`Neut` in Mini-TT, neutral value.
Pattern	`Pattern` in Mini-TT.
Telescope	`Rho` in Mini-TT, dependent context.
Value	`Val` in Mini-TT, value term.

Virtual trait, created to simplify trait bounds for identifiers.