MIR

This page is the high-level entry point for MIR documentation.

Detailed MIR internals (instruction set, lowering behavior, local slot representation, backend mapping, and naming) live in crate docs so there is one source of truth.

Where to read MIR docs

If you are looking for naming details like p_*, v_*, and t_* locals (for example v_1), use the crate docs above; that is where the full explanation is maintained.