可以用“可用字符”方法来产生子类型的类型是______。