20 bool is_esc(
const Def* def) {
21 if (
auto [_, lam] =
ca_isa_var<Lam>(def); lam && !lam->is_set())
return true;
22 return esc_.contains(def);
FPPass(World &world, std::string name)
The World represents the whole program and manages creation of MimIR nodes (Defs).
LowerTypedClosPrep(World &world, flags_t annex)
const Def * rewrite(const Def *) override
undo_t analyze(const Def *) override
std::tuple< const Extract *, N * > ca_isa_var(const Def *def)
Checks is def is the variable of a mut of type N.
GIDSet< const Def * > DefSet