Constant move_model::pragmas::CONDITION_GLOBAL_PROP

source · 
pub const CONDITION_GLOBAL_PROP: &str = "global";
Expand description

Property which can be attached to a module invariant to make it global.