Change (ppx_diff.ppx_diff.diffable.Diffable.Map

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

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

include Bin_prot.Binable.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

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

include sig ... end

val bin_size_t : 'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Size.sizer3

val bin_write_t : 'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Write.writer3

val bin_read_t : 'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Read.reader3

val __bin_read_t__ : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Read.vtag_reader3

val bin_writer_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.writer

val bin_reader_t : 
  'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.reader

val bin_t : 'a 'b 'c. ('a, 'b, 'c, ('a, 'b, 'c) t) Bin_prot.Type_class.S3.t

include Ppx_compare_lib.Equal.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

val equal : 
  ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('c -> 'c -> bool) ->
  ('a, 'b, 'c) t ->
  ('a, 'b, 'c) t ->
  bool

include Ppx_compare_lib.Equal.S3__local
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

include Ppx_quickcheck_runtime.Quickcheckable.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

val quickcheck_generator : 
  'a Base_quickcheck.Generator.t ->
  'b Base_quickcheck.Generator.t ->
  'c Base_quickcheck.Generator.t ->
  ('a, 'b, 'c) t Base_quickcheck.Generator.t

val quickcheck_observer : 
  'a Base_quickcheck.Observer.t ->
  'b Base_quickcheck.Observer.t ->
  'c Base_quickcheck.Observer.t ->
  ('a, 'b, 'c) t Base_quickcheck.Observer.t

val quickcheck_shrinker : 
  'a Base_quickcheck.Shrinker.t ->
  'b Base_quickcheck.Shrinker.t ->
  'c Base_quickcheck.Shrinker.t ->
  ('a, 'b, 'c) t Base_quickcheck.Shrinker.t

include Sexplib0.Sexpable.S3
  with type ('k, 'v, 'v_diff) t := ('k, 'v, 'v_diff) t

val t_of_sexp : 
  'a 'b 'c. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  (Sexplib0.Sexp.t -> 'c) ->
  Sexplib0.Sexp.t ->
  ('a, 'b, 'c) t

val sexp_of_t : 
  'a 'b 'c. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('c -> Sexplib0.Sexp.t) ->
  ('a, 'b, 'c) t ->
  Sexplib0.Sexp.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) t Ppx_stable_witness_runtime.Stable_witness.t