Enum NatExpr 

pub enum NatExpr {
    Literal(u64, Span),
    Var(Ident),
    Add(Box<Self>, Box<Self>, Span),
    Mul(Box<Self>, Box<Self>, Span),
}

A Nat expression (type-level natural number).

Supports literals, variables, addition (Level 1), and multiplication (Level 2).

Variants

Literal(u64, Span)

An integer literal, e.g., 3

Var(Ident)

A variable (generic Nat parameter), e.g., N

Add(Box<Self>, Box<Self>, Span)

Addition of two nat expressions, e.g., N + 1, M + N

Mul(Box<Self>, Box<Self>, Span)

Multiplication of two nat expressions, e.g., N * 3, M * N

Implementations

impl NatExpr

pub const fn span(&self) -> Span

Get the source span.

Trait Implementations

impl Clone for NatExpr

fn clone(&self) -> NatExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NatExpr

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

Formats the value using the given formatter.

impl Display for NatExpr

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

Formats the value using the given formatter.

impl FormatEquivalent for NatExpr

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

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