Module Map.Diff

type (!'a, !'a_diff) t = (Key.t, 'a, 'a_diff) Diffable.Map_diff.t
val t_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> (Sexplib0__.Sexp.t -> 'b) -> Sexplib0__.Sexp.t -> ('a, 'b) t
val sexp_of_t : ('a -> Sexplib0__.Sexp.t) -> ('b -> Sexplib0__.Sexp.t) -> ('a, 'b) t -> Sexplib0__.Sexp.t
type !'a derived_on = (Key.t, 'a, Key.comparator_witness) Core__Map_intf.Map.t
val 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.t
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) -> ('a -> 'a_diff -> 'a) -> ('a, 'a_diff) t list -> ('a, 'a_diff) t Diffable__.Optional_diff.t