Function spec_btree_map_iter Copy item path

pub uninterp fn spec_btree_map_iter<'a, Key, Value, A: Allocator + Clone>(
    m: &'a BTreeMap<Key, Value, A>,
) -> r : Iter<'a, Key, Value>