Function spec_btree_set_len Copy item path

pub uninterp fn spec_btree_set_len<Key, A: Allocator + Clone>(
    m: &BTreeSet<Key, A>,
) -> usize