Constant move_model::pragmas::REQUIRES_IF_ABORTS_PRAGMA

pub const REQUIRES_IF_ABORTS_PRAGMA: &str = "requires_if_aborts";

Pragma indicating that requires are also enforced if the aborts condition is true.