Module Multisets

module Multisets: sig .. end

module MT: Libzipperposition.Multiset.Make(Libzipperposition.FOTerm)

module MMT: Libzipperposition.Multiset.Make(MT)