type 'a derived_on = 'a Base.optionval sexp_of_derived_on :
('a -> Sexplib0.Sexp.t) ->
'a derived_on ->
Sexplib0.Sexp.tval derived_on_of_sexp :
(Sexplib0.Sexp.t -> 'a) ->
Sexplib0.Sexp.t ->
'a derived_onval bin_shape_derived_on : Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_derived_on :
'a Bin_prot.Size.sizer ->
'a derived_on Bin_prot.Size.sizerval bin_write_derived_on :
'a Bin_prot.Write.writer ->
'a derived_on Bin_prot.Write.writerval bin_writer_derived_on :
'a Bin_prot.Type_class.writer ->
'a derived_on Bin_prot.Type_class.writerval bin_read_derived_on :
'a Bin_prot.Read.reader ->
'a derived_on Bin_prot.Read.readerval __bin_read_derived_on__ :
'a Bin_prot.Read.reader ->
(Base.int -> 'a derived_on) Bin_prot.Read.readerval bin_reader_derived_on :
'a Bin_prot.Type_class.reader ->
'a derived_on Bin_prot.Type_class.readerval bin_derived_on :
'a Bin_prot.Type_class.t ->
'a derived_on Bin_prot.Type_class.tinclude Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) tinclude Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) tinclude Ppx_quickcheck_runtime.Quickcheckable.S2
with type ('a, 'a_diff) t := ('a, 'a_diff) tval quickcheck_generator :
'a Base_quickcheck.Generator.t ->
'b Base_quickcheck.Generator.t ->
('a, 'b) t Base_quickcheck.Generator.tval quickcheck_observer :
'a Base_quickcheck.Observer.t ->
'b Base_quickcheck.Observer.t ->
('a, 'b) t Base_quickcheck.Observer.tval quickcheck_shrinker :
'a Base_quickcheck.Shrinker.t ->
'b Base_quickcheck.Shrinker.t ->
('a, 'b) t Base_quickcheck.Shrinker.tinclude Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) tval t_of_sexp :
(Sexplib0.Sexp.t -> 'a) ->
(Sexplib0.Sexp.t -> 'b) ->
Sexplib0.Sexp.t ->
('a, 'b) tval sexp_of_t :
('a -> Sexplib0.Sexp.t) ->
('b -> Sexplib0.Sexp.t) ->
('a, 'b) t ->
Sexplib0.Sexp.tinclude Bin_prot.Binable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) tval bin_shape_t : Bin_prot.Shape.t -> Bin_prot.Shape.t -> Bin_prot.Shape.tval bin_size_t : ('a, 'b, ('a, 'b) t) Bin_prot.Size.sizer2val bin_write_t : ('a, 'b, ('a, 'b) t) Bin_prot.Write.writer2val bin_read_t : ('a, 'b, ('a, 'b) t) Bin_prot.Read.reader2val __bin_read_t__ : ('a, 'b, int -> ('a, 'b) t) Bin_prot.Read.reader2val bin_writer_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.writerval bin_reader_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.readerval bin_t : ('a, 'b, ('a, 'b) t) Bin_prot.Type_class.S2.tval get :
(from:'a -> to_:'a -> 'a_diff Optional_diff.t) ->
from:'a derived_on ->
to_:'a derived_on ->
('a, 'a_diff) t Optional_diff.tval apply_exn :
('a -> 'a_diff -> 'a) ->
'a derived_on ->
('a, 'a_diff) t ->
'a derived_onval of_list_exn :
('a_diff list -> 'a_diff Optional_diff.t) ->
('a -> 'a_diff -> 'a) ->
('a, 'a_diff) t list ->
('a, 'a_diff) t Optional_diff.t