Function vstd::std_specs::hash::ex_hash_set_new
source · pub exec fn ex_hash_set_new<Key>() -> m : HashSet<Key, RandomState>Expand description
ensures
m@ == Set::<Key>::empty(),pub exec fn ex_hash_set_new<Key>() -> m : HashSet<Key, RandomState>m@ == Set::<Key>::empty(),