Module Logtk.Multiset (.ml)

module Multiset: LogtkMultiset

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