Core_hashtbl_intf
.
Hashable