Diff (ppx_diff.ppx_diff.diffable.Diffable.Tuples.Tuple6.For_inlined

type ('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on =
  ('a1, 'a2, 'a3, 'a4, 'a5, 'a6) t

type ('a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff, 'a6_diff)
  t =
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    Diff.t

val sexp_of_t : 
  ('a1 -> Sexplib0.Sexp.t) ->
  ('a2 -> Sexplib0.Sexp.t) ->
  ('a3 -> Sexplib0.Sexp.t) ->
  ('a4 -> Sexplib0.Sexp.t) ->
  ('a5 -> Sexplib0.Sexp.t) ->
  ('a6 -> Sexplib0.Sexp.t) ->
  ('a1_diff -> Sexplib0.Sexp.t) ->
  ('a2_diff -> Sexplib0.Sexp.t) ->
  ('a3_diff -> Sexplib0.Sexp.t) ->
  ('a4_diff -> Sexplib0.Sexp.t) ->
  ('a5_diff -> Sexplib0.Sexp.t) ->
  ('a6_diff -> Sexplib0.Sexp.t) ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t ->
  Sexplib0.Sexp.t

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a1) ->
  (Sexplib0.Sexp.t -> 'a2) ->
  (Sexplib0.Sexp.t -> 'a3) ->
  (Sexplib0.Sexp.t -> 'a4) ->
  (Sexplib0.Sexp.t -> 'a5) ->
  (Sexplib0.Sexp.t -> 'a6) ->
  (Sexplib0.Sexp.t -> 'a1_diff) ->
  (Sexplib0.Sexp.t -> 'a2_diff) ->
  (Sexplib0.Sexp.t -> 'a3_diff) ->
  (Sexplib0.Sexp.t -> 'a4_diff) ->
  (Sexplib0.Sexp.t -> 'a5_diff) ->
  (Sexplib0.Sexp.t -> 'a6_diff) ->
  Sexplib0.Sexp.t ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t

val bin_shape_t : 
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t

val bin_size_t : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Size.sizer ->
  'a2 Bin_prot.Size.sizer ->
  'a3 Bin_prot.Size.sizer ->
  'a4 Bin_prot.Size.sizer ->
  'a5 Bin_prot.Size.sizer ->
  'a6 Bin_prot.Size.sizer ->
  'a1_diff Bin_prot.Size.sizer ->
  'a2_diff Bin_prot.Size.sizer ->
  'a3_diff Bin_prot.Size.sizer ->
  'a4_diff Bin_prot.Size.sizer ->
  'a5_diff Bin_prot.Size.sizer ->
  'a6_diff Bin_prot.Size.sizer ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Size.sizer

val bin_write_t : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Write.writer ->
  'a2 Bin_prot.Write.writer ->
  'a3 Bin_prot.Write.writer ->
  'a4 Bin_prot.Write.writer ->
  'a5 Bin_prot.Write.writer ->
  'a6 Bin_prot.Write.writer ->
  'a1_diff Bin_prot.Write.writer ->
  'a2_diff Bin_prot.Write.writer ->
  'a3_diff Bin_prot.Write.writer ->
  'a4_diff Bin_prot.Write.writer ->
  'a5_diff Bin_prot.Write.writer ->
  'a6_diff Bin_prot.Write.writer ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Write.writer

val bin_writer_t : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Type_class.writer ->
  'a2 Bin_prot.Type_class.writer ->
  'a3 Bin_prot.Type_class.writer ->
  'a4 Bin_prot.Type_class.writer ->
  'a5 Bin_prot.Type_class.writer ->
  'a6 Bin_prot.Type_class.writer ->
  'a1_diff Bin_prot.Type_class.writer ->
  'a2_diff Bin_prot.Type_class.writer ->
  'a3_diff Bin_prot.Type_class.writer ->
  'a4_diff Bin_prot.Type_class.writer ->
  'a5_diff Bin_prot.Type_class.writer ->
  'a6_diff Bin_prot.Type_class.writer ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Type_class.writer

val bin_read_t : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Read.reader ->
  'a2 Bin_prot.Read.reader ->
  'a3 Bin_prot.Read.reader ->
  'a4 Bin_prot.Read.reader ->
  'a5 Bin_prot.Read.reader ->
  'a6 Bin_prot.Read.reader ->
  'a1_diff Bin_prot.Read.reader ->
  'a2_diff Bin_prot.Read.reader ->
  'a3_diff Bin_prot.Read.reader ->
  'a4_diff Bin_prot.Read.reader ->
  'a5_diff Bin_prot.Read.reader ->
  'a6_diff Bin_prot.Read.reader ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Read.reader

val __bin_read_t__ : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Read.reader ->
  'a2 Bin_prot.Read.reader ->
  'a3 Bin_prot.Read.reader ->
  'a4 Bin_prot.Read.reader ->
  'a5 Bin_prot.Read.reader ->
  'a6 Bin_prot.Read.reader ->
  'a1_diff Bin_prot.Read.reader ->
  'a2_diff Bin_prot.Read.reader ->
  'a3_diff Bin_prot.Read.reader ->
  'a4_diff Bin_prot.Read.reader ->
  'a5_diff Bin_prot.Read.reader ->
  'a6_diff Bin_prot.Read.reader ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Read.vtag_reader

val bin_reader_t : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Type_class.reader ->
  'a2 Bin_prot.Type_class.reader ->
  'a3 Bin_prot.Type_class.reader ->
  'a4 Bin_prot.Type_class.reader ->
  'a5 Bin_prot.Type_class.reader ->
  'a6 Bin_prot.Type_class.reader ->
  'a1_diff Bin_prot.Type_class.reader ->
  'a2_diff Bin_prot.Type_class.reader ->
  'a3_diff Bin_prot.Type_class.reader ->
  'a4_diff Bin_prot.Type_class.reader ->
  'a5_diff Bin_prot.Type_class.reader ->
  'a6_diff Bin_prot.Type_class.reader ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Type_class.reader

val bin_t : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Bin_prot.Type_class.t ->
  'a2 Bin_prot.Type_class.t ->
  'a3 Bin_prot.Type_class.t ->
  'a4 Bin_prot.Type_class.t ->
  'a5 Bin_prot.Type_class.t ->
  'a6 Bin_prot.Type_class.t ->
  'a1_diff Bin_prot.Type_class.t ->
  'a2_diff Bin_prot.Type_class.t ->
  'a3_diff Bin_prot.Type_class.t ->
  'a4_diff Bin_prot.Type_class.t ->
  'a5_diff Bin_prot.Type_class.t ->
  'a6_diff Bin_prot.Type_class.t ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Bin_prot.Type_class.t

val quickcheck_generator : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a3 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a4 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a5 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a6 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a5_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  'a6_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Ppx_quickcheck_runtime.Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a3 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a4 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a5 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a6 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a5_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  'a6_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Ppx_quickcheck_runtime.Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff. 
  'a1 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a2 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a3 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a4 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a5 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a6 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a5_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  'a6_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t

val get : 
  (from:'a1 -> to_:'a1 -> 'a1_diff Optional_diff.t @ local) ->
  (from:'a2 -> to_:'a2 -> 'a2_diff Optional_diff.t @ local) ->
  (from:'a3 -> to_:'a3 -> 'a3_diff Optional_diff.t @ local) ->
  (from:'a4 -> to_:'a4 -> 'a4_diff Optional_diff.t @ local) ->
  (from:'a5 -> to_:'a5 -> 'a5_diff Optional_diff.t @ local) ->
  (from:'a6 -> to_:'a6 -> 'a6_diff Optional_diff.t @ local) ->
  from:('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on @ local ->
  (to_:('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on @ local ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Optional_diff.t @ local) @ local

val apply_exn : 
  ('a1 -> 'a1_diff -> 'a1) ->
  ('a2 -> 'a2_diff -> 'a2) ->
  ('a3 -> 'a3_diff -> 'a3) ->
  ('a4 -> 'a4_diff -> 'a4) ->
  ('a5 -> 'a5_diff -> 'a5) ->
  ('a6 -> 'a6_diff -> 'a6) ->
  ('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on @ local ->
  (('a1,
     'a2,
     'a3,
     'a4,
     'a5,
     'a6,
     'a1_diff,
     'a2_diff,
     'a3_diff,
     'a4_diff,
     'a5_diff,
     'a6_diff)
     t ->
  ('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on @ local) @ local

val of_list_exn : 
  ('a1_diff Base.list -> 'a1_diff Optional_diff.t @ local) ->
  ('a1 -> 'a1_diff -> 'a1) ->
  ('a2_diff Base.list -> 'a2_diff Optional_diff.t @ local) ->
  ('a2 -> 'a2_diff -> 'a2) ->
  ('a3_diff Base.list -> 'a3_diff Optional_diff.t @ local) ->
  ('a3 -> 'a3_diff -> 'a3) ->
  ('a4_diff Base.list -> 'a4_diff Optional_diff.t @ local) ->
  ('a4 -> 'a4_diff -> 'a4) ->
  ('a5_diff Base.list -> 'a5_diff Optional_diff.t @ local) ->
  ('a5 -> 'a5_diff -> 'a5) ->
  ('a6_diff Base.list -> 'a6_diff Optional_diff.t @ local) ->
  ('a6 -> 'a6_diff -> 'a6) ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Base.list ->
  ('a1,
    'a2,
    'a3,
    'a4,
    'a5,
    'a6,
    'a1_diff,
    'a2_diff,
    'a3_diff,
    'a4_diff,
    'a5_diff,
    'a6_diff)
    t
    Optional_diff.t @ local