Function vstd::std_specs::hash::ex_hash_map_new

pub exec fn ex_hash_map_new<Key, Value>() -> m : HashMap<Key, Value, RandomState>

Expand description

ensures

m@ == Map::<Key, Value>::empty(),

Function vstd::std_specs::hash::ex_hash_map_newCopy item path