Function vstd::rwlock::RwLockToks::take_step::initialize_full

pub fn initialize_full<K, V, Pred: InvariantPredicate<K, V>>(
    k: K,
    t: V
) -> State<K, V, Pred>