For_inlined_tuple.DiffSourceval sexp_of_t :
('a1 -> Sexplib0.Sexp.t) ->
('a2 -> Sexplib0.Sexp.t) ->
('a3 -> Sexplib0.Sexp.t) ->
('a4 -> Sexplib0.Sexp.t) ->
('a5 -> 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) ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t ->
Sexplib0.Sexp.tval 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 -> '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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) tval 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.tval bin_size_t :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Bin_prot.Size.sizerval bin_write_t :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Bin_prot.Write.writerval bin_writer_t :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Bin_prot.Type_class.writerval bin_read_t :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Bin_prot.Read.readerval __bin_read_t__ :
'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 ->
'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 ->
(int ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff)
t)
Bin_prot.Read.readerval bin_reader_t :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Bin_prot.Type_class.readerval bin_t :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Bin_prot.Type_class.tval quickcheck_generator :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Generator.tval quickcheck_observer :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Observer.tval quickcheck_shrinker :
'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 ->
'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 ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.tval get :
(from:'a1 -> to_:'a1 -> 'a1_diff Optional_diff.t) ->
(from:'a2 -> to_:'a2 -> 'a2_diff Optional_diff.t) ->
(from:'a3 -> to_:'a3 -> 'a3_diff Optional_diff.t) ->
(from:'a4 -> to_:'a4 -> 'a4_diff Optional_diff.t) ->
(from:'a5 -> to_:'a5 -> 'a5_diff Optional_diff.t) ->
from:('a1, 'a2, 'a3, 'a4, 'a5) derived_on ->
to_:('a1, 'a2, 'a3, 'a4, 'a5) derived_on ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Optional_diff.tval apply_exn :
('a1 -> 'a1_diff -> 'a1) ->
('a2 -> 'a2_diff -> 'a2) ->
('a3 -> 'a3_diff -> 'a3) ->
('a4 -> 'a4_diff -> 'a4) ->
('a5 -> 'a5_diff -> 'a5) ->
('a1, 'a2, 'a3, 'a4, 'a5) derived_on ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t ->
('a1, 'a2, 'a3, 'a4, 'a5) derived_onval of_list_exn :
('a1_diff list -> 'a1_diff Optional_diff.t) ->
('a1 -> 'a1_diff -> 'a1) ->
('a2_diff list -> 'a2_diff Optional_diff.t) ->
('a2 -> 'a2_diff -> 'a2) ->
('a3_diff list -> 'a3_diff Optional_diff.t) ->
('a3 -> 'a3_diff -> 'a3) ->
('a4_diff list -> 'a4_diff Optional_diff.t) ->
('a4 -> 'a4_diff -> 'a4) ->
('a5_diff list -> 'a5_diff Optional_diff.t) ->
('a5 -> 'a5_diff -> 'a5) ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
list ->
('a1, 'a2, 'a3, 'a4, 'a5, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff) t
Optional_diff.t