符号: character; sign; symbol; mar ...类型: type; mold; form; cut名称: name; designation; nomenclat ...声明符号类型名称: declaring token type names符号类型: pattern of symbol; sign pattern属性类型名称: attribute type name类型名: type name符号类: symbol class无类型名: typeless name有类型名: typeful name子类型名: media subtype name编号类型: ton type of number拨号类型: dial type记号类型: token types帐号类型: account type账号类型: account type符号类推法: symbolic analogy无符号类: unsigned type类型名字等价: name equivalence of type嵌套依赖类型名: nested dependent type name任意精度(符号类)数值: vpa号类: lip reed名字空间和类型名字: namespace and type names名称类型: name type符号名称: symbolic names