Struct BoundVar

pub struct BoundVar {
    pub id: VarId,
    pub name: Sym,
    pub ty: TypeId,
    /* private fields */
}

A name bound in a pattern or let-expression.

Fields

id: VarId

The identifier used for this variable within the scope of the current Rule.

name: Sym

The variable’s name.

ty: TypeId

The type of the value this variable is bound to.

Trait Implementations

impl Clone for BoundVar

fn clone(&self) -> BoundVar

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BoundVar

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

Formats the value using the given formatter.