Function vstd::std_specs::hash::ex_hash_set_len

pub exec fn ex_hash_set_len<Key, S>(m: &HashSet<Key, S>) -> len : usize

Expand description

ensures

len == spec_hash_set_len(m),

Function vstd::std_specs::hash::ex_hash_set_lenCopy item path