(module Core_hashtbl_intf)