vstd::std_specs::hash

Function spec_hash_set_len

Source 
pub uninterp fn spec_hash_set_len<Key, S>(m: &HashSet<Key, S>) -> usize
Expand description