Function vstd::rwlock::RwLockToks::show::release_shared
source · pub fn release_shared<K, V, Pred: InvariantPredicate<K, V>>(
pre: State<K, V, Pred>,
post: State<K, V, Pred>,
x: V
)pub fn release_shared<K, V, Pred: InvariantPredicate<K, V>>(
pre: State<K, V, Pred>,
post: State<K, V, Pred>,
x: V
)