vstd::rwlock::RwLockToks::take_step

Function acquire_exc_start

Source
pub fn acquire_exc_start<K, V, Pred: InvariantPredicate<K, V>>(
    pre: State<K, V, Pred>,
) -> State<K, V, Pred>