BranchNormalizePhase(World &world)
const Def * rewrite_mut_Lam(Lam *) final
RWPhase(World &world, std::string name)
World & world()=delete
Hides both and forbids direct access.
The World represents the whole program and manages creation of MimIR nodes (Defs).
GIDMap< Lam *, To > LamMap
GIDSet< const Def * > DefSet