File: ppxlib_print_diff.mli

package info (click to toggle)
ppxlib 0.15.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 1,284 kB
  • sloc: ml: 17,184; sh: 149; makefile: 36; python: 36
file content (11 lines) | stat: -rw-r--r-- 376 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
(** Diff two files. Use [diff_command] to specify what command to use. If not specified
    [patdiff] is used, with a fallback to [diff -u] if [patdiff] produces no
    differences. *)
val print
  :  ?diff_command:string
  -> ?extra_patdiff_args:string list (** default: [] *)
  -> ?use_color:bool (** default: false *)
  -> file1:string
  -> file2:string
  -> unit
  -> unit