Function vstd::std_specs::hash::ex_hash_map_with_capacity

source · 
pub exec fn ex_hash_map_with_capacity<Key, Value>(
    capacity: usize
) -> m : HashMap<Key, Value, RandomState>
Expand description
ensures
m@ == Map::<Key, Value>::empty(),