Function mk_addr

crates/kernel/src/subst.rs:887–889

(s: &str)

        return r;
      }
    },

    ExprData::App(f, x, _) => {
      let f2 = instantiate_rev_cached(env, f, fvars, depth, cache);
      let x2 = instantiate_rev_cached(env, x, fvars, depth, cache);
      KExpr::app(f2, x2)