Enum TypeDefKind 

pub enum TypeDefKind {
    Required,
    Union {
        members: Vec<UnionMemberDef>,
    },
}

The kind of a type definition.

The functional core only distinguishes two shapes: a required type stub (no body, awaits binding via include) and an n-variant union — single-variant or multi-variant alike. Record-shaped types are represented as a single-variant union whose sole constructor’s name matches the type’s name (e.g., type Position { Position(x: Length, y: Length) }).

Variants

Required

A required type with no body: type Element;. Bound from outside via parameterized include.

Union

A tagged union: type Maneuver { Impulsive(delta_v: Velocity), Coast } or, as a single-variant special case, type Position { Position(x: Length, y: Length) }.

Fields

members: Vec<UnionMemberDef>

Trait Implementations

impl Clone for TypeDefKind

fn clone(&self) -> TypeDefKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeDefKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.