Module types 

Structs

RecordField

One named field of a Type::Record.

Variant

One named variant of a Type::Sum (e.g. Circle in Circle(radius: Float)).

Enums

Type

Static type attached to a subtree via AlephTree::Typed, or to a TypeDef’s variant fields. Deliberately small: enough to type-check records, sum types, and function signatures (see the Aleph-Next spec) without committing yet to full parametric polymorphism.