Previous  Up  

Module Multisets.MMT

module MMT: Libzipperposition.Multiset.Make(MT)