Function creusot_contracts::std::intrinsics::mir::Assume

source ·
pub fn Assume(operand: bool)
🔬This is a nightly-only experimental API. (custom_mir)