Struct LocalVar 

pub struct LocalVar {
    pub name: Name,
    pub binder_info: BinderInfo,
    pub ty: Expr,
    pub val: Option<Expr>,
    pub fvar: FVarId,
    pub index: usize,
}

Local variable declaration in context.

Fields

name: Name

Variable name

binder_info: BinderInfo

Binder info (default, implicit, etc.)

ty: Expr

Variable type

val: Option<Expr>

Optional value (for let-bindings)

fvar: FVarId

Free variable ID

index: usize

De Bruijn index (position in context, 0 = innermost)

Trait Implementations

impl Clone for LocalVar

fn clone(&self) -> LocalVar

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocalVar

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

Formats the value using the given formatter.