Function spec_hash_keys_iter Copy item path

pub uninterp spec fn spec_hash_keys_iter<'a, Key, S, A: Allocator>(
    m: &'a HashSet<Key, S, A>,
) -> r : Iter<'a, Key>