Struct AvailableExpr 

pub struct AvailableExpr {
    pub key: ExprKey,
    pub var_id: LcnfVarId,
    pub name_hint: String,
    pub depth: usize,
}

An expression that is currently available at a program point.

“Available” means the expression has already been computed and its result is held in var_id. Any subsequent identical computation can be replaced by a reference to var_id.

Fields

key: ExprKey

The canonical key for this expression.

var_id: LcnfVarId

The variable that already holds the computed result.

name_hint: String

Human-readable name hint of the defining binding.

depth: usize

Depth (let-binding nesting level) at which this was introduced.

Trait Implementations

impl Clone for AvailableExpr

fn clone(&self) -> AvailableExpr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AvailableExpr

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

Formats the value using the given formatter.