Module Logtk.Multiset_intf

module type S = sig ... end