Method insert

crates/kernel/src/env.rs:470–478

(&mut self, id: KId<M>, c: KConst<M>)

        let ct = self.intern_expr_cached(t, memo);
        let cv = self.intern_expr_cached(v, memo);
        let cb = self.intern_expr_cached(b, memo);
        if ct.ptr_eq(t) && cv.ptr_eq(v) && cb.ptr_eq(b) {
          input.clone()
        } else {
          KExpr::let_mdata(n.clone(), ct, cv, cb, *nd, input.mdata().clone())
        }
      },
      ExprData::Prj(id, f, v, _) => {
        let cv = self.intern_expr_cached(v, memo);
        if cv.ptr_eq(v) {
          input.clone()
        } else {