type ('a, 'a_diff) t = (Key.t, 'a, 'a_diff) Diffable.Map_diff.tval sexp_of_t :
('a -> Sexplib0.Sexp.t) ->
('a_diff -> Sexplib0.Sexp.t) ->
('a, 'a_diff) t ->
Sexplib0.Sexp.tinclude Diffable.Diff.S1_plain
with type 'a derived_on = (Key.t, 'a, Key.comparator_witness) Base.Map.t
and type ('a, 'a_diff) t := ('a, 'a_diff) ttype 'a derived_on = (Key.t, 'a, Key.comparator_witness) Base.Map.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