Function spec_hash_set_len Copy item path

pub uninterp fn spec_hash_set_len<Key, S, A: Allocator>(m: &HashSet<Key, S, A>) -> usize