Expand description
Refinement type checking
Modules§
- checker 🔒
- compare_
impl_ item - errors 🔒
- ghost_
statements 🔒 - Ghost statements are statements that are not part of the original mir, but are added from information extracted from the compiler or some additional analysis.
- invariants
- primops 🔒
- queue 🔒
- type_
env 🔒