Diffablemodule type S_with_extra_deriving = sig ... endmodule Diff_of_bool : sig ... endmodule Diff_of_char : sig ... endmodule Diff_of_float : sig ... endmodule Diff_of_int : sig ... endmodule Diff_of_string : sig ... endmodule Diff_of_unit : sig ... endmodule Diff_of_option : sig ... endmodule type S_plain = sig ... endmodule type S = sig ... endmodule type S_atomic = sig ... endmodule type S1_plain = sig ... endmodule type S1 = sig ... endmodule type S2_plain = sig ... endmodule type S2 = sig ... endmodule Diff : sig ... endmodule Atomic : sig ... endmodule Optional_diff : sig ... endmodule Tuples : sig ... endmodule Set_diff : sig ... endmodule Map_diff : sig ... endmodule For_ppx : sig ... end