Constant move_model::pragmas::ABORTS_IF_IS_PARTIAL_PRAGMA

source · 
pub const ABORTS_IF_IS_PARTIAL_PRAGMA: &str = "aborts_if_is_partial";
Expand description

Pragma indicating whether aborts_if specification should be considered partial.