File: ppxlib_print_diff.mli

package info (click to toggle)
ppxlib 0.37.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,804 kB
  • sloc: ml: 66,587; sh: 103; makefile: 40; python: 36
file content (11 lines) | stat: -rw-r--r-- 375 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
 
val print :
  ?diff_command:string ->
  ?extra_patdiff_args:string list (** default: [] *) ->
  ?use_color:bool (** default: false *) ->
  file1:string ->
  file2:string ->
  unit ->
  unit
(** 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. *)