Hashtbl.SeededHashedType