Deriving_Showmodule type Show = sig ... endmodule Show_unprintable (S : sig ... end) : Show with type a = S.amodule Show_int32 : Show with type a = int32module Show_int64 : Show with type a = int64module Show_nativeint : Show with type a = nativeintmodule Show_float : Show with type a = floatmodule Show_string : Show with type a = stringmodule Show_set
(O : Set.OrderedType)
(K : Show with type a = O.t) :
Show with type a = Set.Make(O).t