Module Kv_hash__.Nv_map_ii_intf

type export_t = {
partition : (int * int) list;
buckets : Kv_hash.Bucket_intf.exported_bucket list;
}
module type S_kv = sig ... end

"General" signature, with k and r free; we actually use this signature with k=int and r=int

module type S = S_kv with type k = int and type v = int