Core_hashtbl_intf.HashedType