Method record_hot_miss

crates/kernel/src/tc.rs:979–993

(&mut self, phase: &'static str, e: &KExpr<M>)

  // Interning helper
  // -----------------------------------------------------------------------

  /// Check if expression is of the form `eagerReduce _ _` (2 args applied to the eagerReduce const).
  pub fn is_eager_reduce(&self, e: &KExpr<M>) -> bool {
    let (head, args) = collect_app_spine(e);
    if args.len() != 2 {
      return false;
    }
    match head.data() {
      ExprData::Const(id, _, _) => id.addr == self.prims.eager_reduce.addr,
      _ => false,
    }
  }

  /// Intern an expression through the mutable intern environment.
  pub fn intern(&mut self, e: KExpr<M>) -> KExpr<M> {
    self.env.intern.intern_expr(e)
  }