Module `V1.Change`

type ('k, 'v, 'v_diff) t =

| Remove of 'k
| Add of 'k * 'v
| Diff of 'k * 'v_diff

include Sexplib0.Sexpable.S3
  with type ('k, 'v, 'v_diff) t :=
         ('k, 'v, 'v_diff) Diffable.Map_diff.Stable.V1.Change.t

val t_of_sexp : 
  (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  (Sexplib0.Sexp.t -> 'c) ->
  Sexplib0.Sexp.t ->
  ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t

val sexp_of_t : 
  ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('c -> Sexplib0.Sexp.t) ->
  ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t ->
  Sexplib0.Sexp.t

include Bin_prot.Binable.S3
  with type ('k, 'v, 'v_diff) t :=
         ('k, 'v, 'v_diff) Diffable.Map_diff.Stable.V1.Change.t

val bin_shape_t : 
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t ->
  Bin_prot.Shape.t

val bin_size_t : 
  ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Size.sizer3

val bin_write_t : 
  ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Write.writer3

val bin_read_t : 
  ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Read.reader3

val __bin_read_t__ : 
  ('a, 'b, 'c, int -> ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Read.reader3

val bin_writer_t : 
  ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Type_class.S3.writer

val bin_reader_t : 
  ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Type_class.S3.reader

val bin_t : 
  ('a, 'b, 'c, ('a, 'b, 'c) Diffable.Map_diff.Stable.V1.Change.t)
    Bin_prot.Type_class.S3.t

val stable_witness : 
  'k Ppx_stable_witness_runtime.Stable_witness.t ->
  'v Ppx_stable_witness_runtime.Stable_witness.t ->
  'v_diff Ppx_stable_witness_runtime.Stable_witness.t ->
  ('k, 'v, 'v_diff) Diffable.Map_diff.Stable.V1.Change.t
    Ppx_stable_witness_runtime.Stable_witness.t

Module V1.Change

Module `V1.Change`