Function vstd::rwlock::RwLockToks::take_step::initialize_full
source · pub fn initialize_full<K, V, Pred: InvariantPredicate<K, V>>(
k: K,
t: V
) -> State<K, V, Pred>pub fn initialize_full<K, V, Pred: InvariantPredicate<K, V>>(
k: K,
t: V
) -> State<K, V, Pred>