Module `S_plain.Diff`

type ('a, 'a_diff) t = (Key.t, 'a, 'a_diff) Diffable.Map_diff.t

include sig ... end

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('a_diff -> Sexplib0.Sexp.t) ->
  ('a, 'a_diff) Diff.t ->
  Sexplib0.Sexp.t

include Diffable.Diff.S1_plain
  with type 'a derived_on = (Key.t, 'a, Key.comparator_witness) Map.t
   and type ('a, 'a_diff) t := ('a, 'a_diff) Diff.t

type 'a derived_on = (Key.t, 'a, Key.comparator_witness) Map.t

val get : 
  (from:'a -> to_:'a -> 'a_diff Diffable.Optional_diff.t) ->
  from:'a Diff.derived_on ->
  to_:'a Diff.derived_on ->
  ('a, 'a_diff) Diff.t Diffable.Optional_diff.t

val apply_exn : 
  ('a -> 'a_diff -> 'a) ->
  'a Diff.derived_on ->
  ('a, 'a_diff) Diff.t ->
  'a Diff.derived_on

val of_list_exn : 
  ('a_diff list -> 'a_diff Diffable.Optional_diff.t) ->
  ('a -> 'a_diff -> 'a) ->
  ('a, 'a_diff) Diff.t list ->
  ('a, 'a_diff) Diff.t Diffable.Optional_diff.t

Module S_plain.Diff

Module `S_plain.Diff`