Module LogtkMultiset

module LogtkMultiset: sig .. end

Generic multisets



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