vstd::rwlock::RwLockToks::show

Function 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,
)