[−][src]Module minitt::syntax
Syntax: term, expression, context.
Methods are defined in reduce
/read_back
modules but their documents are here.
No dependency.
Enums
Closure |
|
Declaration |
|
Expression |
|
GenericNeutral | Generic definition for two kinds of neutral terms
Implementing |
GenericTelescope | Generic definition for two kinds of telescopes. |
Pattern |
|
Value |
|
Traits
NameTrait | Virtual trait, created to simplify trait bounds for identifiers. |
Type Definitions
Branch | Pattern matching branch. |
DeepClosure |
|
GenericDeepClosure | Generic definition for two kinds of deep closures |
Neutral |
|
Telescope |
|