Multiset (u.92623a46dd97080415ec9ae85b9a68ad.logtk.1.5.1.doc.logtk.Logtk.Multiset)

Generic multisets

Sourcemodule type S = Multiset_intf.S

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