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