Variants (reference.ppx_diff.ppx_diff.diffable.Diffable.Tuples.Tuple2.Diff.Entry

Sourceval t1 : ('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t

Sourceval t2 : ('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t

val fold : 
  init:'acc__0 ->
  t1:
    ('acc__0 ->
      ('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      'acc__1) ->
  t2:
    ('acc__1 ->
      ('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      'acc__2) ->
  'acc__2

Source

val iter : 
  t1:
    (('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      unit) ->
  t2:
    (('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      unit) ->
  unit

Source

val map : 
  ('a1, 'a2, 'a1_diff, 'a2_diff) t ->
  t1:
    (('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      'a1_diff ->
      'result__) ->
  t2:
    (('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      'a2_diff ->
      'result__) ->
  'result__

Source

val make_matcher : 
  t1:
    (('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      'acc__0 ->
      ('a1_diff -> 'result__) * 'acc__1) ->
  t2:
    (('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
      'acc__1 ->
      ('a2_diff -> 'result__) * 'acc__2) ->
  'acc__0 ->
  (('a1, 'a2, 'a1_diff, 'a2_diff) t -> 'result__) * 'acc__2

Sourceval to_rank : ('a1, 'a2, 'a1_diff, 'a2_diff) t -> int

Sourceval to_name : ('a1, 'a2, 'a1_diff, 'a2_diff) t -> string

Sourceval descriptions : (string * int) list