Function subst_app

crates/kernel/src/subst.rs:919–928

()

    },

    ExprData::FVar(..)
    | ExprData::Sort(..)
    | ExprData::Const(..)
    | ExprData::Nat(..)
    | ExprData::Str(..) => {
      let r = body.clone();
      cache.insert(key, r.clone());
      return r;
    },
  };

  let interned = env.intern_expr(result);
  cache.insert(key, interned.clone());