Expand description

Validates the MIR to ensure that invariants are upheld.

Macros

Structs

Enums