Constant move_model::pragmas::DISABLE_INVARIANTS_IN_BODY_PRAGMA
source · pub const DISABLE_INVARIANTS_IN_BODY_PRAGMA: &str = "disable_invariants_in_body";
Expand description
Pragma indicating that invariants are not to be checked between entry and exit to this function