Module `Logtk.Multiset`

Generic multisets

module type S = Multiset_intf.S

module Make : functor (X : Stdlib.Map.OrderedType) -> S with type elt = X.t