Struct LocalDecl 

pub struct LocalDecl {
    pub fvar: FVarId,
    pub name: Name,
    pub ty: Expr,
    pub val: Option<Expr>,
}

Local declaration (free variable with type).

Fields

fvar: FVarId

Free variable ID

name: Name

Name (for pretty-printing)

ty: Expr

Type of this variable

val: Option<Expr>

Optional value (for let-bound variables)

Trait Implementations

impl Clone for LocalDecl

fn clone(&self) -> LocalDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LocalDecl

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

Formats the value using the given formatter.