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).
const Def * rewrite_imm_App(const App *) override
LowerMatrixLowLevel(World &world)
DefMap< const Def * > Def2Def