Prelude_extracted.Multiset
A multiset is a collection of elements that don't have any particular order, but can occur several times (unlike a regular set).
type +'a t = ('a, int) Map.t
val empty : ('a, Imandrax_util.Z.t) Map.t
val add : 'a -> 'a t -> 'a t
val find : 'a -> ('a, 'b) Map.t -> 'b
val mem : 'a -> ('a, int) Map.t -> bool
val remove : 'a -> 'a t -> 'a t
val of_list : 'a list -> 'a t