Function vstd::std_specs::hash::ex_hash_map_clear

source · 
pub exec fn ex_hash_map_clear<Key, Value, S>(m: &mut HashMap<Key, Value, S>)
Expand description
ensures
m@ == Map::<Key, Value>::empty(),