Copies of the relevant MIR types. MIR represents a rust (function) body as a CFG. Itβs a
semantically rich representation that contains no high-level control-flow operations like loops
or patterns; instead the control flow is entirely described by gotos and switches on integer
values.