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

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

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

val fold : 
  'acc__0 'acc__1 'acc__2 'a1 'a2 'a1_diff 'a2_diff. 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

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

val map : 
  'result__ 'a1 'a2 'a1_diff 'a2_diff. ('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__

val make_matcher : 
  'result__ 'acc__0 'acc__1 'acc__2 'a1 'a2 'a1_diff 'a2_diff. 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

val to_rank : 
  'a1 'a2 'a1_diff 'a2_diff. ('a1, 'a2, 'a1_diff, 'a2_diff) t @ local ->
  Base.int

val to_name : 
  'a1 'a2 'a1_diff 'a2_diff. ('a1, 'a2, 'a1_diff, 'a2_diff) t ->
  Base.string

val descriptions : 
  'a1 'a2 'a1_diff 'a2_diff. (Base.string * Base.int) Base.list