[−][src]Module minitt::ast
Syntax: term, expression, context.
Methods are defined in reduce
/read_back
modules but their documents are here.
No dependency.
Structs
AnonymousValue | Just a wrapper for a value but does not do |
Declaration |
|
Enums
Closure |
|
DeclarationType | Whether a type is recursive or not. |
Expression |
|
GenericNeutral | Generic definition for two kinds of neutral terms. |
GenericTelescope | Generic definition for two kinds of telescopes. |
Pattern |
|
Value |
|
Functions
nil_rc | Because we can't |
up_dec_rc | Just for simplifying constructing an |
up_var_rc | Just for simplifying constructing an |
Type Definitions
Branch | Pattern matching branch. |
CaseTree |
|
GenericCaseTree | Generic definition for two kinds of case trees |
Neutral |
|
Telescope |
|
TelescopeRaw | |
TelescopeRc | |
Typed | Pattern with type explicitly specified |