Collated.DiffSourceval sexp_of_t :
('k -> Sexplib0.Sexp.t) ->
('v -> Sexplib0.Sexp.t) ->
('k_diff -> Sexplib0.Sexp.t) ->
('v_diff -> Sexplib0.Sexp.t) ->
('k, 'v, 'k_diff, 'v_diff) t ->
Sexplib0.Sexp.tval t_of_sexp :
(Sexplib0.Sexp.t -> 'k) ->
(Sexplib0.Sexp.t -> 'v) ->
(Sexplib0.Sexp.t -> 'k_diff) ->
(Sexplib0.Sexp.t -> 'v_diff) ->
Sexplib0.Sexp.t ->
('k, 'v, 'k_diff, 'v_diff) tval bin_shape_t :
Core.Bin_prot.Shape.t ->
Core.Bin_prot.Shape.t ->
Core.Bin_prot.Shape.t ->
Core.Bin_prot.Shape.t ->
Core.Bin_prot.Shape.tval bin_size_t :
'k Core.Bin_prot.Size.sizer ->
'v Core.Bin_prot.Size.sizer ->
'k_diff Core.Bin_prot.Size.sizer ->
'v_diff Core.Bin_prot.Size.sizer ->
('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Size.sizerval bin_write_t :
'k Core.Bin_prot.Write.writer ->
'v Core.Bin_prot.Write.writer ->
'k_diff Core.Bin_prot.Write.writer ->
'v_diff Core.Bin_prot.Write.writer ->
('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Write.writerval bin_writer_t :
'k Core.Bin_prot.Type_class.writer ->
'v Core.Bin_prot.Type_class.writer ->
'k_diff Core.Bin_prot.Type_class.writer ->
'v_diff Core.Bin_prot.Type_class.writer ->
('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Type_class.writerval bin_read_t :
'k Core.Bin_prot.Read.reader ->
'v Core.Bin_prot.Read.reader ->
'k_diff Core.Bin_prot.Read.reader ->
'v_diff Core.Bin_prot.Read.reader ->
('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Read.readerval __bin_read_t__ :
'k Core.Bin_prot.Read.reader ->
'v Core.Bin_prot.Read.reader ->
'k_diff Core.Bin_prot.Read.reader ->
'v_diff Core.Bin_prot.Read.reader ->
(int -> ('k, 'v, 'k_diff, 'v_diff) t) Core.Bin_prot.Read.readerval bin_reader_t :
'k Core.Bin_prot.Type_class.reader ->
'v Core.Bin_prot.Type_class.reader ->
'k_diff Core.Bin_prot.Type_class.reader ->
'v_diff Core.Bin_prot.Type_class.reader ->
('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Type_class.readerval bin_t :
'k Core.Bin_prot.Type_class.t ->
'v Core.Bin_prot.Type_class.t ->
'k_diff Core.Bin_prot.Type_class.t ->
'v_diff Core.Bin_prot.Type_class.t ->
('k, 'v, 'k_diff, 'v_diff) t Core.Bin_prot.Type_class.tval get :
(from:'k -> to_:'k -> 'k_diff Diffable.For_ppx.Optional_diff.t) ->
(from:'v -> to_:'v -> 'v_diff Diffable.For_ppx.Optional_diff.t) ->
from:('k, 'v) derived_on ->
to_:('k, 'v) derived_on ->
('k, 'v, 'k_diff, 'v_diff) t Diffable.For_ppx.Optional_diff.tval apply_exn :
('k -> 'k_diff -> 'k) ->
('v -> 'v_diff -> 'v) ->
('k, 'v) derived_on ->
('k, 'v, 'k_diff, 'v_diff) t ->
('k, 'v) derived_onval of_list_exn :
('k_diff list -> 'k_diff Diffable.For_ppx.Optional_diff.t) ->
('k -> 'k_diff -> 'k) ->
('v_diff list -> 'v_diff Diffable.For_ppx.Optional_diff.t) ->
('v -> 'v_diff -> 'v) ->
('k, 'v, 'k_diff, 'v_diff) t list ->
('k, 'v, 'k_diff, 'v_diff) t Diffable.For_ppx.Optional_diff.t