Function vstd::std_specs::hash::spec_hash_set_len

pub open spec fn spec_hash_set_len<Key, S>(m: &HashSet<Key, S>) -> usize

{}