Constant move_model::pragmas::DISABLE_INVARIANTS_IN_BODY_PRAGMA

pub const DISABLE_INVARIANTS_IN_BODY_PRAGMA: &str = "disable_invariants_in_body";

Pragma indicating that invariants are not to be checked between entry and exit to this function