Skip to main content

Predicate

vstd::predicate

Trait Predicate 

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

Required Methods§

Source

spec fn predicate(&self, v: V) -> bool

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§