ppx_diff v0.17.0 · OCaml Package

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

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

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

val t4 : 
  ('a4_diff ->
    ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
      t)
    Variantslib.Variant.t

val t5 : 
  ('a5_diff ->
    ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
      t)
    Variantslib.Variant.t

val fold : 
  init:'acc__0 ->
  t1:
    ('acc__0 ->
      ('a1_diff ->
        ('a1,
          'a2,
          'a3,
          'a4,
          'a5,
          'a1_diff,
          'a2_diff,
          'a3_diff,
          'a4_diff,
          'a5_diff)
          t)
        Variantslib.Variant.t ->
      'acc__1) ->
  t2:
    ('acc__1 ->
      ('a2_diff ->
        ('a1,
          'a2,
          'a3,
          'a4,
          'a5,
          'a1_diff,
          'a2_diff,
          'a3_diff,
          'a4_diff,
          'a5_diff)
          t)
        Variantslib.Variant.t ->
      'acc__2) ->
  t3:
    ('acc__2 ->
      ('a3_diff ->
        ('a1,
          'a2,
          'a3,
          'a4,
          'a5,
          'a1_diff,
          'a2_diff,
          'a3_diff,
          'a4_diff,
          'a5_diff)
          t)
        Variantslib.Variant.t ->
      'acc__3) ->
  t4:
    ('acc__3 ->
      ('a4_diff ->
        ('a1,
          'a2,
          'a3,
          'a4,
          'a5,
          'a1_diff,
          'a2_diff,
          'a3_diff,
          'a4_diff,
          'a5_diff)
          t)
        Variantslib.Variant.t ->
      'acc__4) ->
  t5:
    ('acc__4 ->
      ('a5_diff ->
        ('a1,
          'a2,
          'a3,
          'a4,
          'a5,
          'a1_diff,
          'a2_diff,
          'a3_diff,
          'a4_diff,
          'a5_diff)
          t)
        Variantslib.Variant.t ->
      'acc__5) ->
  'acc__5

val iter : 
  t1:
    (('a1_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      unit) ->
  t2:
    (('a2_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      unit) ->
  t3:
    (('a3_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      unit) ->
  t4:
    (('a4_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      unit) ->
  t5:
    (('a5_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      unit) ->
  unit

val map : 
  ('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t ->
  t1:
    (('a1_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'a1_diff ->
      'result__) ->
  t2:
    (('a2_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'a2_diff ->
      'result__) ->
  t3:
    (('a3_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'a3_diff ->
      'result__) ->
  t4:
    (('a4_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'a4_diff ->
      'result__) ->
  t5:
    (('a5_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'a5_diff ->
      'result__) ->
  'result__

val make_matcher : 
  t1:
    (('a1_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'acc__0 ->
      ('a1_diff -> 'result__) * 'acc__1) ->
  t2:
    (('a2_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'acc__1 ->
      ('a2_diff -> 'result__) * 'acc__2) ->
  t3:
    (('a3_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'acc__2 ->
      ('a3_diff -> 'result__) * 'acc__3) ->
  t4:
    (('a4_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'acc__3 ->
      ('a4_diff -> 'result__) * 'acc__4) ->
  t5:
    (('a5_diff ->
       ('a1,
         'a2,
         'a3,
         'a4,
         'a5,
         'a1_diff,
         'a2_diff,
         'a3_diff,
         'a4_diff,
         'a5_diff)
         t)
       Variantslib.Variant.t ->
      'acc__4 ->
      ('a5_diff -> 'result__) * 'acc__5) ->
  'acc__0 ->
  (('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
     t ->
  'result__)
  * 'acc__5

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

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

val descriptions : (string * int) list

package ppx_diff