Trait Predicate Copy item path

pub trait Predicate<V> {
    // Required method
    spec fn predicate(&self, v: V) -> bool;
}

Required Methods§

Implementors§