Trait vstd::invariant::InvariantPredicate
source · pub trait InvariantPredicate<K, V> {
// Required method
fn inv(k: K, v: V) -> bool;
}
Expand description
Trait used to specify an invariant predicate for
LocalInvariant
and AtomicInvariant
.
Required Methods§
Object Safety§
This trait is not object safe.