Function vstd::std_specs::hash::ex_hash_set_with_capacity

pub exec fn ex_hash_set_with_capacity<Key>(
    capacity: usize
) -> m : HashSet<Key, RandomState>

Expand description

ensures

m@ == Set::<Key>::empty(),

Function vstd::std_specs::hash::ex_hash_set_with_capacityCopy item path