Function vstd::rwlock::RwLockToks::take_step::release_exc
source · pub fn release_exc<K, V, Pred: InvariantPredicate<K, V>>(
pre: State<K, V, Pred>,
x: V
) -> State<K, V, Pred>pub fn release_exc<K, V, Pred: InvariantPredicate<K, V>>(
pre: State<K, V, Pred>,
x: V
) -> State<K, V, Pred>