vstd
In vstd::
rwlock::
RwLock
Toks::
show
Functions
acquire_exc_end
acquire_exc_start
acquire_read_abandon
acquire_read_end
acquire_read_start
initialize_full
release_exc
release_shared
vstd
::
rwlock
::
RwLockToks
::
show
Function
initialize_full
Copy item path
Settings
Help
Summary
Source
pub fn initialize_full<K, V, Pred:
InvariantPredicate
<K, V>>( post:
State
<K, V, Pred>, k: K, t: V, )