V1 (incr_map.incr_map.collate.Incr_map_collate.Collated.Stable.V1)

type ('k, 'v) t

include Sexplib0.Sexpable.S2 with type ('k, 'v) t := ('k, 'v) 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 Core.Bin_prot.Binable.S2 with type ('k, 'v) t := ('k, 'v) t

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

include sig ... end

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

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

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

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

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

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

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

val stable_witness : 
  'k Ppx_stable_witness_runtime.Stable_witness.t ->
  'v Ppx_stable_witness_runtime.Stable_witness.t ->
  ('k, 'v) t Ppx_stable_witness_runtime.Stable_witness.t

include Ppx_compare_lib.Comparable.S2 with type ('k, 'v) t := ('k, 'v) t

val compare : 
  ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) t ->
  ('a, 'b) t ->
  int

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

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

val empty : (_, _) t

include Diffable.S2 with type ('k, 'v) t := ('k, 'v) t

module Diff : sig ... end

module type Concrete = sig ... end

The old Concrete / Legacy_diffable is only supported on Stable.V1

module Make_concrete
  (Key : sig ... end)
  (Value : sig ... end) : 
  Concrete with type Key.t = Key.t and type Value.t = Value.t