Function vstd::std_specs::hash::ex_hash_set_clear

pub exec fn ex_hash_set_clear<Key, S>(m: &mut HashSet<Key, S>)

Expand description

ensures

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

Function vstd::std_specs::hash::ex_hash_set_clearCopy item path