(
module
Core_hashtbl_intf
)