ppx_diff v0.17.0 · OCaml Package

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

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

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

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

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

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

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

val to_rank : ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t -> int

val to_name : ('a1, 'a2, 'a3, 'a1_diff, 'a2_diff, 'a3_diff) t -> string

val descriptions : (string * int) list

package ppx_diff