Function axiom_hashset_decreases Copy item path

pub broadcast proof fn axiom_hashset_decreases<Key, S, A: Allocator>(m: HashSet<Key, S, A>)

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