Sourcetype ('a1, 'a2, 'a3, 'a4, 'a5, 'a6, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff, 'a5_diff, 'a6_diff)
t =
| T1 of 'a1_diff| T2 of 'a2_diff| T3 of 'a3_diff| T4 of 'a4_diff| T5 of 'a5_diff| T6 of 'a6_diff
Sourceval t1 :
'a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t Sourceval t2 :
'a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t Sourceval t3 :
'a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t Sourceval t4 :
'a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t Sourceval t5 :
'a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t Sourceval t6 :
'a6_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t Sourceval is_t1 :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
bool Sourceval is_t2 :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
bool Sourceval is_t3 :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
bool Sourceval is_t4 :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
bool Sourceval is_t5 :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
bool Sourceval is_t6 :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
bool Sourceval t1_val :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'a1_diff option Sourceval t2_val :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'a2_diff option Sourceval t3_val :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'a3_diff option Sourceval t4_val :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'a4_diff option Sourceval t5_val :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'a5_diff option Sourceval t6_val :
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'a6_diff option 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