Enum ForBindingIndex 

pub enum ForBindingIndex {
    Named(Spanned<NamePath>),
    Range {
        arg: NatExpr,
        span: Span,
    },
}

The index in a for binding: either a named index or a range(...) expression.

Variants

Named(Spanned<NamePath>)

A named index: for m: Maneuver { ... } or for m: module.Maneuver { ... }

Range

A range expression: for i: range(3) { ... } or for i: range(N) { ... }

Fields

arg: NatExpr

The argument to range(...) — a nat literal or generic nat param.

span: Span

Span of the entire range(...) expression.

Trait Implementations

impl Clone for ForBindingIndex

fn clone(&self) -> ForBindingIndex

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForBindingIndex

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

Formats the value using the given formatter.

impl FormatEquivalent for ForBindingIndex

fn format_equivalent(&self, other: &Self) -> bool

Returns true if self and other are equivalent up to formatting.