Hashtbl_intf
.
HashedType