vstd
In vstd::
rwlock::
RwLock
Toks::
show
vstd
::
rwlock
::
RwLockToks
::
show
Function
initialize_full
Copy item path
Source
pub fn initialize_full<K, V, Pred:
InvariantPredicate
<K, V>>( post:
State
<K, V, Pred>, k: K, t: V, )