pub fn assume(pred: bool) {
    unsafe {
        __VERIFIER_assume(pred as i32);
    }
}
/// Assume that condition `cond` is true
///
/// Any paths found must satisfy this assumption.
Assume that condition `cond` is true
Any paths found must satisfy this assumption.
Assume that condition ` cond ` is true Any paths found must satisfy this assumption .
pub fn assume(pred: bool) {
    unsafe {
        __VERIFIER_assume(pred as i32);
    }
}
pub fn assume ( pred : bool ) { unsafe { __VERIFIER_assume ( pred as i32 ) ; } }
Assume that condition `cond` is true
Any paths found must satisfy this assumption.
Assume that condition ` cond ` is true Any paths found must satisfy this assumption .
pred
bool
pred
bool