Module Bucket.Make_1

Parameters

Signature

include C
val max_sorted : int
val max_unsorted : int
val bucket_length_in_ints : int

length of backing int bigarray, measured in ints; must be large enough to include 2*(max_sorted+max_unsorted)+2

val used_ints : int
module Ptr : sig ... end

Positions/offsets within the buffer that we store certain info

type bucket = {
arr : Kv_hash__.Util.int_bigarray;
sorted : Kv_hash__.Util.int_bigarray;
unsorted : Kv_hash__.Util.int_bigarray;
}
type t = bucket
val to_bigarray : bucket -> Kv_hash__.Util.int_bigarray
val of_bigarray : (int, Stdlib.Bigarray.int_elt, Stdlib.Bigarray.c_layout) Stdlib.Bigarray.Array1.t -> bucket
module With_bucket : functor (S : sig ... end) -> sig ... end
val insert : bucket -> Kv_hash__.Util.Map_i.key -> Kv_hash__.Util.Map_i.key -> [> `Ok | `Split of (Kv_hash__.Util.Map_i.key * Kv_hash__.Util.Map_i.key) Base.List.t * Kv_hash__.Util.Map_i.key * (Kv_hash__.Util.Map_i.key * Kv_hash__.Util.Map_i.key) Base.List.t ]
val find : bucket -> int -> int option
val init_sorted : bucket -> (int * int) list -> unit
val export : bucket -> Kv_hash.Bucket_intf.exported_bucket
val show : bucket -> unit
module With_debug : functor () sig ... end