Up – Package index » logtk » Library logtk » Logtk » Multiset

Module `Logtk.Multiset`

Generic multisets

module type S = Multiset_intf.S

module Make (X : Map.OrderedType) : S with type elt = X.t