Constant move_model::pragmas::CONDITION_SUSPENDABLE_PROP
source · pub const CONDITION_SUSPENDABLE_PROP: &str = "suspendable";
Expand description
A property that can be attached to a global invariant to indicate that it should be enabled disabled by the disable_invariant_in_body pragma