Module Bucket.Make_2

Parameters

Signature

include Bucket_intf.BUCKET_CONFIG
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

type t
type bucket = t
val to_bigarray : bucket -> Kv_hash__.Util.int_bigarray
val of_bigarray : Kv_hash__.Util.int_bigarray -> bucket
type k := int
type v := int
val find : bucket -> k -> v option
val insert : bucket -> k -> v -> [ `Ok | `Split of (k * v) list * k * (k * v) list ]
val init_sorted : bucket -> (k * v) list -> unit
val show : bucket -> unit
val export : bucket -> Bucket_intf.exported_bucket
module With_debug : functor () sig ... end