Function vstd::rwlock::RwLockToks::take_step::acquire_read_start

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

Function vstd::rwlock::RwLockToks::take_step::acquire_read_startCopy item path