「元类型」

valence，表达一个ABT节点的参数类型

「语法类」

暂无说明。

化「语法类」而化「语法类」而「语法类」

暂无说明。

「元类型」

暂无说明。

「参数形式」

暂无说明。

「参数形式」

暂无说明。

「参数形式」

暂无说明。

化「整数」而「参数形式」

过时：用于ANF合并点

化「整数」而「参数形式」

整数为参数个数

「元类型」

自隐式为自动补全时会自动补全 自隐式立参数形式也。

「定义透明性」

暂无说明。

「定义透明性」

暂无说明。

「元类型」

暂无说明。

「元类型」

文件、开始行、开始列、结束行、结束列；行列均从零开始。

「注释方向」

暂无说明。

「注释方向」

暂无说明。

「元类型」

暂无说明。

「元类型」

暂无说明。

「元类型」

暂无说明。

化「参数形式」而「节点名称」

节点名称

化「参数形式」而「节点名称」

一个参数

化「内建常量」而「节点名称」

两个参数，第一个为定义域类型

化「内建常量」而「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

化「整数」而「节点名称」

至少两个参数；末参数是值域，其余参数是连续定义域；不绑定变量

「节点名称」

整数为连续隐式参数个数；唯一参数是同样数量的嵌套抽象，隐式参数类型默认为元类型

化「参数形式」而「节点名称」

第一个参数是函数头，随后是连续的参数节点

化「参数形式」而「节点名称」

暂无说明。

化「参数形式」而「节点名称」

用于合一中

化「字符串」而「节点名称」

暂无说明。

化「整数」而「节点名称」

暂无说明。

化「小数」而化（「字符串」合「字符串」）而「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

case caluse

「节点名称」

第一个参数是比较常量，随后的参数是返回值

化「整数」而「节点名称」

第一个的参数是绑定的返回值，其中绑定会被绑定成待匹配式

「节点名称」

第一个的参数是绑定的返回值，其中绑定会被绑定成构造器的参数元组式

化「字符串」而「节点名称」

case， 第一个参数是被匹配对象，之后每个参数是一个分支

化「字符串」而「节点名称」

参数是变量的类型

化「字符串」而化「整数」而「节点名称」

暂无说明。

化「字符串」而化「整数」而「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

仅在操作符阐述期间存在；第一个参数是序列头，剩余参数是按源码顺序排列的序列项。

「节点名称」

仅用于收集【】内的多个序列项。

「节点名称」

仅作为通用序列头；唯一参数为外部函数名称。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

「节点名称」

暂无说明。

化「字符串」而「节点名称」

检查后文件结构项；唯一参数为检查后的类型定义

「节点名称」

参数是要构建的Tuple

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

代码生成时栈节点会在栈上分配

化「整数」而「节点名称」

暂无说明。

化「整数」而「节点名称」

暂无说明。

化「整数」而「节点名称」

将普通元组指针转换成构造元组指针

化「整数」而「节点名称」

getelementptr of char* (i8*), represented as i128

化「整数」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而化「字符串」而化「整数」而「节点名称」

字符串为模块文件的绝对路径

化（「字符串」合「整数」合「整数」合「整数」合「整数」）而「节点名称」

暂无说明。

化（「字符串」合「整数」合「整数」合「整数」合「整数」）而「节点名称」

仅在名称解析与类型检查之间存在；唯一参数为原表达式。

化（「列」于「字符串」）而化（「列」于「字符串」）而「节点名称」

仅在名称解析与类型检查之间存在；标注绑定体所对应的声明范围。

化（「列」于「字符串」）而化（「列」于「字符串」）而「节点名称」

仅在词法分析与抽象语法分析之间存在；唯一参数为原表达式。

化「字符串」而化「字符串」而化「整数」而「节点名称」

仅供保留注释的语法分析结果使用；唯一参数为原顶层表达式。

化「字符串」而「节点名称」

引用定义全局变量的直接内存地址

化「整数」而化「字符串」而化「字符串」而「节点名称」

例如在代码生成时引用会生成的数据

化「整数」而「节点名称」

表达式参数唯一，为构造器类型；检查前序数只是占位，检查后序数是所属类型内的运行时标记 根据类型理论，我们或许应该使用recursive sum types，不过先用类型构造器试试看行不行

化「整数」而化「整数」而「节点名称」

根据类型理论，我们或许应该使用recursive sum types，不过先用类型构造器试试看行不行

「节点名称」

期待单参数，参数的类型必须是一个长度等于参数长度的元组

「节点名称」

暂无说明。

「节点名称」

暂无说明。

化（「列」于「字符串」）而「节点名称」

参数必须是派类型，拥有

「节点名称」

相当于一个字典

「节点名称」

局部类型骨架比较使用的占位节点，不进入类型检查结果

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

唯一参数为唯一构造器节点；构造器节点的唯一参数是用户指定类型

化「定义透明性」而「节点名称」

参数一为名称，参数二为用户指定类型

化「结构名称操作」而「节点名称」

参数一为近似的类型，参数二为定义式，用于定义声明 默认是不透明的！

化「字符串」而化「字符串」而「节点名称」

表达式分析后展开为导入/打开/导出近似节点；唯一参数为路径表达式

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

化「字符串」而「节点名称」

第一个参数是连续两个绑定式，用于续延传递拉姆达调用，或者闭包的普通拉姆达

化「字符串」而「节点名称」

仅接受一个单绑定

化「字符串」而「节点名称」

仅接受一个单绑定

「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而化「字符串」而化「整数」而「节点名称」

仅接受一个单绑定

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

「节点名称」

暂无说明。

「节点名称」

暂无说明。

化「字符串」而「节点名称」

暂无说明。

化「字符串」而「节点名称」

用于底层代码生成

化「字符串」而「节点名称」

声明一个全局拉姆达函数，参数为一个多参数拉姆达抽象，必须不含自由变量 目标代码顶层函数节点立化字符串而节点名称也。「：第一个参数是拉姆达抽象，第二个是后续代码：」 具体语法

化「字符串」而化「注释方向」而「节点名称」

单个字符。

化「节点名称」而化（「列」于「表达式」）而「表达式」

注释文字不含最外层注释定界符。 表达式

化（「或可有」于「字符串」）而化「表达式」而「表达式」

暂无说明。

化「整数」而「表达式」

使用deBruijn

化「字符串」而「表达式」

暂无说明。

「元类型」

暂无说明。

「元类型」

名字、公开性、定义内容

「元类型」

同一格式；闭包转换后公开性才具有链接语义

「元类型」

每项为尚未转换成文件定义的顶层表达式，可以含顶层注释节点与带注释节点。

化（「列」于「表达式」）而化（「列」于「字符串」）而「带注释编译单元」

暂无说明。