可数类 代数类 基数类 序数类 函数类 代数类群 函数类型 实数类型 复数类型 常数类型 整数类型 参数类型 序数类型 第一数类 基数类型 级数类型 分布函数类 操作数类型 贝尔函数类 常数类型代码 过程参数类型 形式参数类型 复数类型语句 对应参数类型 实在参数类型 内在函数类属名 序数类型标志符 正规单纯代数类 序数类型标识符 基本类型, 基数类型