Module Std_kernel.Pooled_hashtbl

module Pooled_hashtbl: Pooled_hashtbl

include Core_hashtbl_intf.Hashtbl