Visits the current Phase::world and constructs a new RWPhase::world along the way.
Helper class to retrieve Infer::arg if present.
The World represents the whole program and manages creation of MimIR nodes (Defs).
In this phase, we lower all matrix operations and types to the low-level representation using pointer...
LowerMatrixLowLevel(World &world)
Ref rewrite_imm(Ref) override
DefMap< const Def * > Def2Def