patdiff v0.12.1 · OCaml Package

val iter : 
  t ->
  output:
    ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_core.Output.t ->
      unit) ->
  rules:
    ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Rules.t ->
      unit) ->
  ext_cmp:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      unit) ->
  float_tolerance:
    ((t, Core.Percent.t option) Fieldslib.Field.readonly_t ->
      t ->
      Core.Percent.t option ->
      unit) ->
  produce_unified_lines:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> unit) ->
  line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> unit) ->
  word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> unit) ->
  shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  old_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      unit) ->
  new_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      unit) ->
  location_style:
    ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t)
       Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Location_style.t ->
      unit) ->
  warn_if_no_trailing_newline_in_both:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> unit) ->
  unit

val fold : 
  t ->
  init:'acc__0 ->
  output:
    ('acc__0 ->
      (t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_core.Output.t ->
      'acc__1) ->
  rules:
    ('acc__1 ->
      (t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Rules.t ->
      'acc__2) ->
  ext_cmp:
    ('acc__2 ->
      (t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      'acc__3) ->
  float_tolerance:
    ('acc__3 ->
      (t, Core.Percent.t option) Fieldslib.Field.readonly_t ->
      t ->
      Core.Percent.t option ->
      'acc__4) ->
  produce_unified_lines:
    ('acc__4 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__5) ->
  unrefined:
    ('acc__5 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__6) ->
  keep_ws:
    ('acc__6 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__7) ->
  split_long_lines:
    ('acc__7 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__8) ->
  interleave:
    ('acc__8 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__9) ->
  assume_text:
    ('acc__9 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__10) ->
  context:
    ('acc__10 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__11) ->
  line_big_enough:
    ('acc__11 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__12) ->
  word_big_enough:
    ('acc__12 -> (t, int) Fieldslib.Field.readonly_t -> t -> int -> 'acc__13) ->
  shallow:
    ('acc__13 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__14) ->
  quiet:
    ('acc__14 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__15) ->
  double_check:
    ('acc__15 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__16) ->
  mask_uniques:
    ('acc__16 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__17) ->
  old_alt:
    ('acc__17 ->
      (t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      'acc__18) ->
  new_alt:
    ('acc__18 ->
      (t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      'acc__19) ->
  location_style:
    ('acc__19 ->
      (t, Patdiff_lib.Patdiff_core.Format.Location_style.t)
        Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Location_style.t ->
      'acc__20) ->
  warn_if_no_trailing_newline_in_both:
    ('acc__20 -> (t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'acc__21) ->
  'acc__21

val for_all : 
  t ->
  output:
    ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_core.Output.t ->
      bool) ->
  rules:
    ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Rules.t ->
      bool) ->
  ext_cmp:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      bool) ->
  float_tolerance:
    ((t, Core.Percent.t option) Fieldslib.Field.readonly_t ->
      t ->
      Core.Percent.t option ->
      bool) ->
  produce_unified_lines:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) ->
  line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) ->
  word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) ->
  shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  old_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      bool) ->
  new_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      bool) ->
  location_style:
    ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t)
       Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Location_style.t ->
      bool) ->
  warn_if_no_trailing_newline_in_both:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  bool

val exists : 
  t ->
  output:
    ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_core.Output.t ->
      bool) ->
  rules:
    ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Rules.t ->
      bool) ->
  ext_cmp:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      bool) ->
  float_tolerance:
    ((t, Core.Percent.t option) Fieldslib.Field.readonly_t ->
      t ->
      Core.Percent.t option ->
      bool) ->
  produce_unified_lines:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  split_long_lines:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) ->
  line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) ->
  word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> bool) ->
  shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  old_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      bool) ->
  new_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      bool) ->
  location_style:
    ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t)
       Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Location_style.t ->
      bool) ->
  warn_if_no_trailing_newline_in_both:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> bool) ->
  bool

val to_list : 
  t ->
  output:
    ((t, Patdiff_core.Output.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_core.Output.t ->
      'elem__) ->
  rules:
    ((t, Patdiff_lib.Patdiff_core.Format.Rules.t) Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Rules.t ->
      'elem__) ->
  ext_cmp:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      'elem__) ->
  float_tolerance:
    ((t, Core.Percent.t option) Fieldslib.Field.readonly_t ->
      t ->
      Core.Percent.t option ->
      'elem__) ->
  produce_unified_lines:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  unrefined:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  keep_ws:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  split_long_lines:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  interleave:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  assume_text:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  context:((t, int) Fieldslib.Field.readonly_t -> t -> int -> 'elem__) ->
  line_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> 'elem__) ->
  word_big_enough:((t, int) Fieldslib.Field.readonly_t -> t -> int -> 'elem__) ->
  shallow:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  quiet:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  double_check:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  mask_uniques:((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  old_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      'elem__) ->
  new_alt:
    ((t, string option) Fieldslib.Field.readonly_t ->
      t ->
      string option ->
      'elem__) ->
  location_style:
    ((t, Patdiff_lib.Patdiff_core.Format.Location_style.t)
       Fieldslib.Field.readonly_t ->
      t ->
      Patdiff_lib.Patdiff_core.Format.Location_style.t ->
      'elem__) ->
  warn_if_no_trailing_newline_in_both:
    ((t, bool) Fieldslib.Field.readonly_t -> t -> bool -> 'elem__) ->
  'elem__ list

package patdiff