内建
公开化「内建常量」而「表达式」暂无说明。
模块 / 32
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/抽象语法树基础操作。豫
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/抽象语法树基础操作。豫
40公开名称
内建元类型
公开「表达式」暂无说明。
内建元类型式
公开「表达式」暂无说明。
抽象替换自由变量
公开化「字符串」而化「整数」而化「表达式」而「表达式」暂无说明。
进行抽象
公开化「字符串」而化「表达式」而「表达式」构造抽象 进行抽象于X于X X = λX.X X
进行多抽象
公开化（「列」于「字符串」）而化「表达式」而「表达式」暂无说明。
进行无名抽象
公开化「表达式」而「表达式」暂无说明。
解构替换绑定变量
公开化「整数」而化「表达式」而化「表达式」而「表达式」暂无说明。
解构替换绑定名非重复
公开化「整数」而化「字符串」而化「表达式」而「表达式」非重复替换变量必须
替换抽象名称
公开化「字符串」而化「表达式」而「表达式」暂无说明。
表达式完整性检查
公开化「整数」而化「表达式」而「有」暂无说明。
获取可能绑定名
公开化「表达式」而「字符串」暂无说明。
更新可能绑定名
公开化「表达式」而「表达式」暂无说明。
更新可能绑定名特殊变换
公开化化「字符串」而「字符串」而化「表达式」而「表达式」暂无说明。
绑定变量少一
公开化「整数」而化「表达式」而「表达式」暂无说明。
绑定变量包括
公开化「整数」而化「表达式」而「爻」暂无说明。
抽象是有名的
公开化「表达式」而「爻」暂无说明。
解构抽象
公开化「表达式」而（「字符串」合「表达式」）解构抽象 结构抽象于 X.X X = (X, X X)，不会重复名称
解构无名抽象
公开化「表达式」而「表达式」暂无说明。
构造抽象
公开化「字符串」而化化「字符串」而「表达式」而「表达式」使用第一个参数作为序数的模板，将第二个参数转换为绑定
抽象表达式带名操作条件
公开化（「列」于「字符串」）而化「表达式」而化化「字符串」而化「表达式」而「表达式」而「表达式」暂无说明。
抽象表达式操作
公开化「表达式」而化化「表达式」而「表达式」而「表达式」暂无说明。
解构抽象名称条件
公开化「表达式」而化化「字符串」而「爻」而（「字符串」合「表达式」）解构抽象 结构抽象于λX.X X = (X, X X)，其中X必须符合条件，另外X也不会重复表达式中变量
解构无绑定抽象
公开化「字符串」而化「表达式」而「表达式」暂无说明。
式替换
公开化「表达式」而化「表达式」而「表达式」式替换 X (\Y Z) = [X/Y] Z
式替换不重复名
公开化「字符串」而化「表达式」而「表达式」用自由变量替换绑定，要求自由变量不重复
式有名替换
公开化「表达式」而化「字符串」而化「表达式」而「表达式」式有名替换 X Y Z = [X/Y]Z
结构名称转表达式
公开化（「列」于「字符串」）而「表达式」暂无说明。
同时式替换
公开化（「列」于「表达式」）而化（「列」于「字符串」）而化「表达式」而「表达式」Simultaneous Substitutions
读取模式匹配新变量
公开化「表达式」而（「列」于「字符串」）会包含重复的
读取式自由变量
公开化「表达式」而（「列」于「字符串」）会包含重复的
自由变量在式出现
公开化「字符串」而化「表达式」而「爻」暂无说明。
自由变量不在式出现
公开化「字符串」而化「表达式」而「爻」暂无说明。
自由变量在式出现次数
公开化「字符串」而化「表达式」而「整数」暂无说明。
读取文件引用依赖
公开化「表达式」而（「列」于「字符串」）获取所有的依赖文件名，会包含重复的
读取函数引用依赖
公开化「表达式」而（「列」于「字符串」）获取所有的调用的函数名，会包含重复的
式递归不解构抽象
公开承「甲」而化「表达式」而化化「表达式」而（「或可有」于「甲」）而化「甲」而化化「节点名称」而化（「列」于「甲」）而「甲」而「甲」暂无说明。
自由变量在式顶层出现
公开化「表达式」而化「字符串」而「爻」返回者如果自由变量不再lambda节点下出现
表达式统一操作
公开化化「表达式」而「表达式」而化「表达式」而「表达式」暂无说明。
表达式可选操作
公开化化「表达式」而（「或可有」于「表达式」）而化「表达式」而「表达式」暂无说明。