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