Deriving_Defaultmodule type Default = sig ... endmodule Default_string : Default with type a = stringmodule Default_int64 : Default with type a = int64module Default_int : Default with type a = intmodule Default_bool : Default with type a = boolmodule Default_unit : Default with type a = unitmodule Default_char : Default with type a = charmodule Default_float : Default with type a = float