Expand description
User-facing rendering of contract data structures.
Converts ContractPlace, ContractExpr, NumericPredicate, PropertyArg
and Property into readable strings for reports and debug output. Kept
separate from the data model (types.rs) so the model stays
presentation-free.
Functions§
- display_
expr_ 🔒user_ friendly - local_
snippet 🔒 - Best-effort source snippet for a MIR local’s declaration, if its function MIR is available and the local index is in range.