Method intern_expr

crates/kernel/src/env.rs:112–118

Intern an expression: same pointer-uniqueness guarantee as `intern_univ`.

(&mut self, e: KExpr<M>)

  /// Intern an expression: same pointer-uniqueness guarantee as
  /// `intern_univ`.
  pub fn intern_expr(&mut self, e: KExpr<M>) -> KExpr<M> {
    let key = *e.addr();
    if let Some(existing) = self.exprs.get(&key) {
      return existing.clone();
    }
    self.exprs.entry(key).or_insert(e).clone()
  }
}

/// Generated recursor, cached after inductive validation.