Function spec_keys_iter Copy item path

pub uninterp spec fn spec_keys_iter<'a, Key, Value, S, A: Allocator>(
    m: &'a HashMap<Key, Value, S, A>,
) -> keys : Keys<'a, Key, Value>