Constant move_model::pragmas::ABORTS_IF_IS_STRICT_PRAGMA

pub const ABORTS_IF_IS_STRICT_PRAGMA: &str = "aborts_if_is_strict";

Pragma indicating whether no explicit aborts_if specification should be treated like aborts_if false.