vstd
In vstd::
std_
specs::
hash
vstd
::
std_specs
::
hash
Function
spec_hash_map_len
Copy item path
Source
pub
uninterp
fn spec_hash_map_len<Key, Value, S>(m: &
HashMap
<Key, Value, S>) ->
usize
Expand description