Core_hashtbl.HashedType