Module voile::syntax::core::ast

Structs

Closure

A closure with parameter type explicitly specified.

Enums

Axiom	Postulated value, aka axioms. If the Option<DBI> value is None, then it's really postulated. Otherwise it should be a generated lambda parameter.
Neutral	Irreducible because of the presence of generated value.
Val	Non-redex, canonical values.

Traits

AxiomEx
RedEx	Reducible expressions.

Type Definitions

TVal	Type values.
Variants