Module Patdiff_kernel
module Ansi_output : sig ... endmodule Ascii_output : sig ... endmodule Comparison_result : sig ... endmodule Configuration : sig ... endmodule Diff_input : sig ... endmodule File_name : sig ... endUsed to determine which name to use for a file, depending on the operation.
module Float_tolerance : sig ... endmodule Format : sig ... endmodule Html_output : sig ... endmodule Hunks : sig ... endmodule Import : sig ... endmodule Is_binary : sig ... endmodule Output : sig ... endmodule Patdiff_core : sig ... endmodule Should_keep_whitespace : sig ... end