Function spec_btree_keys_iter Copy item path

pub uninterp spec fn spec_btree_keys_iter<'a, Key, A: Allocator + Clone>(
    m: &'a BTreeSet<Key, A>,
) -> r : Iter<'a, Key>