Hashtbl_intf.HashedType