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