Module Map.Diff

type ('a, 'a_diff) t = (Key.t, 'a, 'a_diff) Diffable.Map_diff.t
include Sexplib0.Sexpable.S2 with type ('a, 'a_diff) t := ('a, 'a_diff) t
val t_of_sexp : 'a 'b. (Sexplib0.Sexp.t -> 'a) -> (Sexplib0.Sexp.t -> 'b) -> Sexplib0.Sexp.t -> ('a, 'b) t
val sexp_of_t : 'a 'b. ('a -> Sexplib0.Sexp.t) -> ('b -> Sexplib0.Sexp.t) -> ('a, 'b) t -> Sexplib0.Sexp.t
include 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.t
type 'a derived_on = (Key.t, 'a, Key.comparator_witness) Base.Map.t
val get : (from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t @ local) -> from:'a derived_on -> to_:'a derived_on -> ('a, 'a_diff) t Diffable.Optional_diff.t @ local
val apply_exn : ('a -> 'a_diff -> 'a) -> 'a derived_on -> ('a, 'a_diff) t -> 'a derived_on
val of_list_exn : ('a_diff list -> 'a_diff Diffable.Optional_diff.t @ local) -> ('a -> 'a_diff -> 'a) -> ('a, 'a_diff) t list -> ('a, 'a_diff) t Diffable.Optional_diff.t @ local