Module Nv_map_ii.Nv_map_ii0

Standard instance

type raw_bucket = Bucket_store.Bucket_store0.raw_bucket
type k = int
type v = int
val initial_partitioning : alloc:(unit -> Partition_.r) -> n:int -> Partition_.t
type t = Make_1(Kv_hash__.Bucket.Bucket0)(Kv_hash__.Bucket_store.Bucket_store0).t = {
bucket_store : Bucket_store.Bucket_store0.t;
mutable freelist : Freelist.t;
mutable partition : Partition_.t;
}
val alloc : t -> int
val create_p : buckets_fn:string -> partition:Partition_.t -> min_free_blk:int -> t
val create_n : buckets_fn:string -> n:int -> t
val create : buckets_fn:string -> t
val close : t -> unit
val open_ : fn:'a -> n:'b -> 'c
val find_bucket : t -> Partition_.k -> Partition_.k * Partition_.r * Bucket_store.Bucket_store0.bucket
val insert : t -> Partition_.k -> int -> unit
val find_opt : t -> Partition_.k -> int option
val get_freelist : t -> Freelist.t
val export : t -> Nv_map_ii_intf.export_t
val show : t -> unit
val get_partition : t -> Partition_.t
val show_bucket : t -> Partition_.k -> unit
val get_bucket : t -> Partition_.k -> Bucket_store.Bucket_store0.raw_bucket