Function vstd::rwlock::RwLockToks::show::acquire_exc_end

source · 
pub fn acquire_exc_end<K, V, Pred: InvariantPredicate<K, V>>(
    pre: State<K, V, Pred>,
    post: State<K, V, Pred>
)