V2 (incr_map.incr_map.collate.Incr_map_collate.Collate

type ('k, 'filter, 'order) t = {

filter : 'filter;
order : 'order;
key_range : 'k Which_range.V1.t;
rank_range : Rank.V2.t Which_range.V1.t;

}

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

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

include Ppx_compare_lib.Equal.S3
  with type ('k, 'filter, 'order) t := ('k, 'filter, 'order) t

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

val of_v1 : ('k, 'filter, 'order) V1.t -> ('k, 'filter, 'order) t

val default : filter:'filter -> order:'order -> (_, 'filter, 'order) t