Module For_inlined_tuple.DiffSource
Sourcetype ('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on =
('a1, 'a2, 'a3, 'a4, 'a5, 'a6) t Sourcetype ('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 Sourceval 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 Sourceval 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 Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval __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 ->
'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 ->
(int ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Bin_prot.Read.reader Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval 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 ->
'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 Sourceval 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:'a6 -> to_:'a6 -> 'a6_diff Optional_diff.t) ->
from:('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on ->
to_:('a1, 'a2, 'a3, 'a4, 'a5, 'a6) derived_on ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t
Optional_diff.t Sourceval 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 ->
('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 Sourceval 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) ->
('a6_diff list -> 'a6_diff Optional_diff.t) ->
('a6 -> 'a6_diff -> 'a6) ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t
list ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t
Optional_diff.t