[−][src]Module voile::syntax::core::ast
Core language syntax definitions.
Enums
Closure | A closure with parameter type explicitly specified. |
Neutral | Irreducible because of the presence of generated value. |
Val | Non-redex, canonical values. |
Type Definitions
CaseSplit | Case-split expression. |
Fields | Record fields -- for record values. |
TVal | Type values. |
Variants | Row variants -- for both variant type and record type. |