Functor Wstdlib.MakeMSH

module MakeMSH: 
functor (X : TaggedType) -> sig .. end

module M: Extmap.S  with type key = X.t

module S: Extset.S  with module M = M

module H: Exthtbl.S  with type key = X.t