Function bytecode::verification_analysis::is_invariant_suspendable
source · pub fn is_invariant_suspendable(env: &GlobalEnv, inv_id: GlobalId) -> bool
pub fn is_invariant_suspendable(env: &GlobalEnv, inv_id: GlobalId) -> bool