20 const Def* add_mem_to_lams(
Lam*,
const Def*);
21 const Def* rewrite_type(
const Def*);
22 const Def* rewrite_pi(
const Pi*);
24 const Def* mem_for_lam(
Lam*)
const;
Like ClosedMutPhase but computes a Nest for each NestPhase::visit.
Builds a nesting tree of all immutables‍/binders.
A dependent function type.
The World represents the whole program and manages creation of MimIR nodes (Defs).
This phase adds mems to all lambdas and continuations.
void visit(const Nest &) override
DefMap< const Def * > Def2Def