type 'a derived_on = 'a 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 Diffable.Optional_diff.t) ->
from:'a derived_on ->
to_:'a derived_on ->
('a, 'a_diff) t Diffable.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 Diffable.Optional_diff.t) ->
('a -> 'a_diff -> 'a) ->
('a, 'a_diff) t list ->
('a, 'a_diff) t Diffable.Optional_diff.t