Collated (incr_map.incr_map.collate.Incr_map

type ('k, 'v) t

val sexp_of_t : 
  ('k -> Sexplib0.Sexp.t) ->
  ('v -> Sexplib0.Sexp.t) ->
  ('k, 'v) t ->
  Sexplib0.Sexp.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

val fold : 
  ('k, 'v) t ->
  init:'accum ->
  f:('accum -> ('k * 'v) -> 'accum) ->
  'accum @@ portable

val iter : ('k, 'v) t -> f:(('k * 'v) -> unit) -> unit @@ portable

val to_alist : ('k, 'v) t -> ('k * 'v) list @@ portable

val to_opaque_map : ('k, 'v) t -> ('k * 'v) Opaque_map.t @@ portable

val first : ('k, 'v) t -> ('k * 'v) option @@ portable

val last : ('k, 'v) t -> ('k * 'v) option @@ portable

val mapi : ('k, 'v1) t -> f:('k -> 'v1 -> 'v2) -> ('k, 'v2) t @@ portable

val length : (_, _) t -> int @@ portable

val num_unfiltered_rows : (_, _) t -> int @@ portable

Total number of rows before filtering

val num_filtered_rows : (_, _) t -> int @@ portable

Total number of rows after filtering, but before limiting to range.

val num_before_range : (_, _) t -> int @@ portable

Total number of rows that preceed the rank-range and key-range ranges.

val num_after_range : (_, _) t -> int @@ portable

Total number of rows that follow the rank-range and key-range ranges.

val key_range : ('k, _) t -> 'k Collate_params.Which_range.t @@ portable

The key range this result was computed for

val rank_range : (_, _) t -> int Collate_params.Which_range.t @@ portable

The rank range this result was computed for

val range_widened_by : (_, _) t -> int * int @@ portable

The amount that the resulting range was widened by. Closely related to Collate_params.widen_range_by, range_widened_by specifies the actual amount of widening given bounds of the underlying dataset.

module Stable : sig ... end

module Unstable : sig ... end

module Diff = Stable.V2.Diff

val of_stable_v1 : ('k, 'v) Stable.V1.t -> ('k, 'v) t @@ portable

val to_stable_v1 : ('k, 'v) t -> ('k, 'v) Stable.V1.t @@ portable

module Private : sig ... end

module For_testing : sig ... end