Trait vstd::rwlock::RwLockPredicate

source · 
pub trait RwLockPredicate<V>: Sized {
    // Required method
    spec fn inv(self, v: V) -> bool;
}

Required Methods§

source

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

Object Safety§

This trait is not object safe.

Implementors§