参数节点式
公开化「参数形式」而化（「列」于「表达式」）而「表达式」暂无说明。
模块 / 35
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/抽象语法树方法。豫
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/抽象语法树方法。豫
39公开名称
函数调用式
公开化「表达式」而化（「列」于「表达式」）而「表达式」暂无说明。
分组函数调用式
公开化「参数形式」而化「表达式」而化（「列」于「表达式」）而「表达式」暂无说明。
解构函数调用式
公开化「表达式」而（「表达式」合（「列」于「表达式」））暂无说明。
添加函数调用参数
公开化「表达式」而化「参数形式」而化「表达式」而「表达式」暂无说明。
拆分函数调用末参数
公开化「表达式」而（「表达式」合「参数形式」合「表达式」）暂无说明。
函数类型
公开化「表达式」而化「表达式」而「表达式」暂无说明。
多参数函数类型
公开化（「列」于「表达式」）而化「表达式」而「表达式」暂无说明。
拆分多参数函数类型
公开化「表达式」而（「或可有」于（（「列」于「表达式」）合「表达式」））暂无说明。
拆分首函数类型参数
公开化「表达式」而（「或可有」于（「表达式」合「表达式」））暂无说明。
隐式类型函数类型
公开化「字符串」而化「表达式」而「表达式」暂无说明。
应用首隐式类型参数
公开化「表达式」而化「表达式」而「表达式」暂无说明。
整数类型
公开「表达式」暂无说明。
爻类型
公开「表达式」暂无说明。
字符串类型
公开「表达式」暂无说明。
动态分类值类型
公开「表达式」暂无说明。
有类型
公开「表达式」暂无说明。
自由变量类型
公开化「字符串」而「表达式」暂无说明。
内建物类型
公开化「内建常量」而「表达式」Self - referential 包含对于自我的引用， used to initialize context 用来初始化命名环境
读取式自由硬性变量
公开化「表达式」而（「列」于「字符串」）会包含重复的，rigid variable
是自由变量
公开化「表达式」而「爻」暂无说明。
表达式是绑定
公开化「表达式」而「爻」暂无说明。
表达式是返回自由变量
公开化「表达式」而「爻」暂无说明。
模式匹配新变量转自由变量
公开化「表达式」而「表达式」返回的绑定不会重复表达式中的字符串，也不会重复自由变量
式文件引用替换
公开化化「字符串」而（「或可有」于「表达式」）而化「表达式」而「表达式」暂无说明。
是直接变量
公开化「表达式」而「爻」暂无说明。
读取直接变量
公开化「表达式」而「字符串」暂无说明。
是文件引用节点
公开化「表达式」而「爻」暂无说明。
读取文件引用节点
公开化「表达式」而「字符串」暂无说明。
文件定义引用式
公开化「字符串」而化「字符串」而化「整数」而「表达式」暂无说明。
树组找到定义
公开化（「列」于（「字符串」合「爻」合「表达式」））而化「字符串」而（「爻」合「表达式」）暂无说明。
简单内联虑变换
公开化「表达式」而化（「或可有」于化「字符串」而「表达式」）而「表达式」暂无说明。
解构抽象并继续
公开承「甲」而化「表达式」而化化「字符串」而化「表达式」而「甲」而「甲」暂无说明。
解构多抽象并继续
公开承「甲」而化「整数」而化（「列」于「字符串」）而化「表达式」而化化（「列」于「字符串」）而化「表达式」而「甲」而「甲」暂无说明。
解构抽象不重复名称
公开化「表达式」而化（「列」于「字符串」）而（「字符串」合「表达式」）暂无说明。
打开首隐式派类型
公开化「表达式」而化（「列」于「字符串」）而（「字符串」合「表达式」）暂无说明。
解构抽象不重复名并继续
公开承「甲」而化（「列」于「字符串」）而化「表达式」而化化「字符串」而化「表达式」而「甲」而「甲」暂无说明。
是直接返回自由变量绑定
公开化「表达式」而「爻」暂无说明。
表达式收集元素
公开承「甲」而化化「表达式」而（「或可有」于「甲」）而化「表达式」而（「列」于「甲」）暂无说明。