Module Frontend.Nv_map_ii_

type raw_bucket = Nv_map_ss_private.Nv_map_ss0.Bucket_store_.raw_bucket
type k = int
type v = int
val initial_partitioning : alloc:(unit -> Kv_hash__Nv_map_ii.Partition_.r) -> n:int -> Kv_hash__Nv_map_ii.Partition_.t
type t = Kv_hash__Nv_map_ii.Make_1(Kv_hash__.Nv_map_ss_private.Nv_map_ss0.Raw_bucket)(Kv_hash__.Nv_map_ss_private.Nv_map_ss0.Bucket_store_).t = {
bucket_store : Nv_map_ss_private.Nv_map_ss0.Bucket_store_.t;
mutable freelist : Freelist.t;
mutable partition : Kv_hash__Nv_map_ii.Partition_.t;
}
val alloc : t -> int
val create_p : buckets_fn:string -> partition:Kv_hash__Nv_map_ii.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 -> Kv_hash__Nv_map_ii.Partition_.k -> Kv_hash__Nv_map_ii.Partition_.k * Kv_hash__Nv_map_ii.Partition_.r * Nv_map_ss_private.Nv_map_ss0.Bucket_store_.bucket
val insert : t -> Kv_hash__Nv_map_ii.Partition_.k -> int -> unit
val find_opt : t -> Kv_hash__Nv_map_ii.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 -> Kv_hash__Nv_map_ii.Partition_.t
val show_bucket : t -> Kv_hash__Nv_map_ii.Partition_.k -> unit
val get_bucket : t -> Kv_hash__Nv_map_ii.Partition_.k -> Nv_map_ss_private.Nv_map_ss0.Bucket_store_.raw_bucket