Function vstd::std_specs::hash::ex_hash_map_new
source · pub exec fn ex_hash_map_new<Key, Value>() -> HashMap<Key, Value, RandomState>Expand description
ensures
m@ == Map::<Key, Value>::empty(),