Function vstd::std_specs::hash::ex_hash_map_len

source · 
pub exec fn ex_hash_map_len<Key, Value, S>(m: &HashMap<Key, Value, S>) -> usize
Expand description
ensures
len == spec_hash_map_len(m),