Enum IndexKind 

pub enum IndexKind {
    Named {
        variants: Vec<IndexVariantName>,
    },
    Range(RangeIndexData),
    RequiredNamed,
    RequiredRange {
        dimension: Dimension,
    },
    NatRange {
        size: NonZeroUsize,
    },
}

The kind of an index: either named variants or a numeric range.

Variants

Named

A named label set, e.g. index Maneuver = { Departure, Correction, Insertion };

Fields

variants: Vec<IndexVariantName>

Range(RangeIndexData)

A numeric range, e.g. index T = linspace(0.0 s, 100.0 s, step: 0.1 s);

RequiredNamed

Required named index (no variants): must be bound via parameterized import.

RequiredRange

Required range index with dimension constraint: must be bound via parameterized import.

Fields

dimension: Dimension

NatRange

A Nat-parameterized range: range(N) with elements {0, 1, ..., N-1}.

Created synthetically for integer literals in index position (e.g., D[3]).

Fields

size: NonZeroUsize

The non-zero size of the range (number of elements). Stored as usize because it bounds in-memory variant tables; AST-level Nat literals are converted at the registry boundary.

Trait Implementations

impl Clone for IndexKind

fn clone(&self) -> IndexKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IndexKind

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

Formats the value using the given formatter.