Make_2.With_debug
val find : bucket -> k -> v option
val insert : bucket -> k -> v -> [ `Ok | `Split of (k * v) list * k * (k * v) list ]