Function mk_info

crates/kernel/src/expr.rs:179–187

(
  addr: Addr,
  lbr: u64,
  count_0: u64,
  has_fvars: bool,
  mdata: M::MField<Vec<MData>>,
)

      | ExprData::Lam(.., i)
      | ExprData::All(.., i)
      | ExprData::Let(.., i)
      | ExprData::Prj(.., i)
      | ExprData::Nat(.., i)
      | ExprData::Str(.., i) => i,
    }
  }
}

impl<M: KernelMode> KExpr<M> {
  pub fn new(data: ExprData<M>) -> Self {
    KExpr(Arc::new(data))
  }