Function axiom_btree_map_decreases Copy item path

pub broadcast proof fn axiom_btree_map_decreases<Key, Value, A: Allocator + Clone>(
    m: BTreeMap<Key, Value, A>,
)

#[trigger] (decreases_to!(m => m @)),