module Change : sig ... endinclude Sexplib0.Sexpable.S3
with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) tval t_of_sexp :
(Sexplib0.Sexp.t -> 'a) ->
(Sexplib0.Sexp.t -> 'b) ->
(Sexplib0.Sexp.t -> 'c) ->
Sexplib0.Sexp.t ->
('a, 'b, 'c) tval sexp_of_t :
('a -> Sexplib0.Sexp.t) ->
('b -> Sexplib0.Sexp.t) ->
('c -> Sexplib0.Sexp.t) ->
('a, 'b, 'c) t ->
Sexplib0.Sexp.tinclude Bin_prot.Binable.S3
with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) tval bin_shape_t :
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.t ->
Bin_prot.Shape.tval bin_size_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Size.sizer3val bin_write_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Write.writer3val bin_read_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Read.reader3val __bin_read_t__ : ('a, 'b, 'c, int -> ('a, 'b, 'c) t) Bin_prot.Read.reader3val bin_writer_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.writerval bin_reader_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.readerval bin_t : ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.tval stable_witness :
'k Ppx_stable_witness_runtime.Stable_witness.t ->
'v Ppx_stable_witness_runtime.Stable_witness.t ->
'v_diff Ppx_stable_witness_runtime.Stable_witness.t ->
('k, 'v, 'v_diff) t Ppx_stable_witness_runtime.Stable_witness.tval get :
(from:'v -> to_:'v -> 'v_diff Optional_diff.t) ->
from:('k, 'v, 'cmp) Base.Map.t ->
to_:('k, 'v, 'cmp) Base.Map.t ->
('k, 'v, 'v_diff) t Optional_diff.tval apply_exn :
('v -> 'v_diff -> 'v) ->
('k, 'v, 'cmp) Base.Map.t ->
('k, 'v, 'v_diff) t ->
('k, 'v, 'cmp) Base.Map.tval of_list_exn :
('v_diff Base.list -> 'v_diff Optional_diff.t) ->
('v -> 'v_diff -> 'v) ->
('k, 'v, 'v_diff) t Base.list ->
('k, 'v, 'v_diff) t Optional_diff.t