Trait Inv Copy item path

pub trait Inv {
    // Required method
    spec fn inv(self) -> bool;
}

Required Methods§

Implementations on Foreign Types§

{
    match self {
        Some(t) => t.inv(),
        None => true,
    }
}

Implementors§