Trait vstd::atomic_ghost::AtomicInvariantPredicate

source · 
pub trait AtomicInvariantPredicate<K, V, G> {
    // Required method
    fn atomic_inv(k: K, v: V, g: G) -> bool;
}

Required Methods§

source

spec fn atomic_inv(k: K, v: V, g: G) -> bool

Object Safety§

This trait is not object safe.

Implementors§