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.