module Mint : sig ... endmodule Sint : sig ... endmodule Hint : sig ... endmodule Mstr : sig ... endmodule Sstr : sig ... endmodule Hstr : sig ... endmodule Mfloat : sig ... endmodule Sfloat : sig ... endmodule Hfloat : sig ... endmodule type TaggedType = sig ... endmodule type OrderedHashedType = sig ... endmodule OrderedHashed (X : TaggedType) : sig ... endmodule OrderedHashedList (X : TaggedType) : sig ... endmodule MakeMSH (X : TaggedType) : sig ... endmodule MakeMSHW (X : Weakhtbl.Weakey) : sig ... endmodule Int : sig ... end