Module `Logtk__Multiset`

Generic multisets

module type S = Logtk.Multiset_intf.S

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