Constant move_model::pragmas::DELEGATE_INVARIANTS_TO_CALLER_PRAGMA

pub const DELEGATE_INVARIANTS_TO_CALLER_PRAGMA: &str = "delegate_invariants_to_caller";

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