内建常量
公开「元类型」暂无说明。
模块 / 57
编译数据/抽象绑定树结构/抽象语法树/总集。豫
编译数据/抽象绑定树结构/抽象语法树/总集。豫
247公开名称
内建类型字符串
公开「内建常量」暂无说明。
内建类型整数
公开「内建常量」暂无说明。
内建类型小数
公开「内建常量」暂无说明。
内建类型动态分类值
公开「内建常量」暂无说明。
内建类型有
公开「内建常量」暂无说明。
内建类型爻
公开「内建常量」暂无说明。
内建类型元类型
公开「内建常量」暂无说明。
内建爻阳
公开「内建常量」暂无说明。
内建爻阴
公开「内建常量」暂无说明。
内建有元
公开「内建常量」暂无说明。
内建函数抛出异常
公开「内建常量」暂无说明。
内建函数尝试运行
公开「内建常量」暂无说明。
内建函数整数相等
公开「内建常量」暂无说明。
内建函数整数大于
公开「内建常量」暂无说明。
内建函数整数减
公开「内建常量」暂无说明。
内建函数以当前续延调用
公开「内建常量」暂无说明。
所有内建常量
公开（「列」于「内建常量」）暂无说明。
内建常量表示
公开化「内建常量」而「字符串」暂无说明。
换行
公开化「整数」而「字符串」暂无说明。
缩进长度
公开「整数」暂无说明。
抽象语法友好表示
公开化「爻」而化「整数」而化「表达式」而「字符串」暂无说明。
抽象语法友好表示顶层
公开化「表达式」而「字符串」暂无说明。
表达式树组友好表示
公开化「整数」而化（「列」于（「字符串」合「爻」合「表达式」））而「字符串」暂无说明。
内建
公开化「内建常量」而「表达式」暂无说明。
内建元类型
公开「表达式」暂无说明。
内建元类型式
公开「表达式」暂无说明。
抽象替换自由变量
公开化「字符串」而化「整数」而化「表达式」而「表达式」暂无说明。
进行抽象
公开化「字符串」而化「表达式」而「表达式」构造抽象 进行抽象于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节点下出现
表达式统一操作
公开化化「表达式」而「表达式」而化「表达式」而「表达式」暂无说明。
表达式可选操作
公开化化「表达式」而（「或可有」于「表达式」）而化「表达式」而「表达式」暂无说明。
抽象语法序列化
公开化「表达式」而「癸象」暂无说明。
表达式树组序列化
公开化（「列」于（「字符串」合「爻」合「表达式」））而「癸象」暂无说明。
抽象语法反序列化
公开化「癸象」而「表达式」暂无说明。
表达式树组反序列化
公开化「癸象」而（「列」于（「字符串」合「爻」合「表达式」））暂无说明。
语法类
公开「元类型」暂无说明。
元类
公开「语法类」暂无说明。
函类
公开化「语法类」而化「语法类」而「语法类」暂无说明。
参数形式
公开「元类型」暂无说明。
隐式
公开「参数形式」暂无说明。
显式
公开「参数形式」暂无说明。
合并式
公开「参数形式」暂无说明。
多参数形
公开化「整数」而「参数形式」暂无说明。
尾多参数形
公开化「整数」而「参数形式」暂无说明。
定义透明性
公开「元类型」暂无说明。
定义透明
公开「定义透明性」暂无说明。
定义不透明
公开「定义透明性」暂无说明。
源码范围
公开「元类型」暂无说明。
注释方向
公开「元类型」暂无说明。
前置注释
公开「注释方向」暂无说明。
后置注释
公开「注释方向」暂无说明。
节点名称
公开「元类型」暂无说明。
声明
公开「元类型」暂无说明。
表达式
公开「元类型」暂无说明。
拉姆达抽象
公开化「参数形式」而「节点名称」暂无说明。
拉姆达抽象带类型
公开化「参数形式」而「节点名称」暂无说明。
内建节点
公开化「内建常量」而「节点名称」暂无说明。
展开后内建节点
公开化「内建常量」而「节点名称」暂无说明。
空缺
公开「节点名称」暂无说明。
箭头类型节点
公开「节点名称」暂无说明。
隐式派类型节点
公开化「整数」而「节点名称」暂无说明。
函数调用
公开「节点名称」暂无说明。
参数节点
公开化「参数形式」而「节点名称」暂无说明。
函数调用等待函数值
公开化「参数形式」而「节点名称」暂无说明。
函数调用等待参数值
公开化「参数形式」而「节点名称」暂无说明。
字符串节点
公开化「字符串」而「节点名称」暂无说明。
整数节点
公开化「整数」而「节点名称」暂无说明。
小数节点
公开化「小数」而化（「字符串」合「字符串」）而「节点名称」暂无说明。
模式匹配分支
公开「节点名称」暂无说明。
常量模式匹配分支
公开「节点名称」暂无说明。
变量模式匹配分支
公开「节点名称」暂无说明。
唯一构造器模式匹配分支
公开化「整数」而「节点名称」暂无说明。
模式匹配
公开「节点名称」暂无说明。
模式匹配新变量
公开化「字符串」而「节点名称」暂无说明。
结构投影
公开化「字符串」而「节点名称」暂无说明。
结构投影带序数
公开化「字符串」而化「整数」而「节点名称」暂无说明。
结构投影等待结构值
公开化「字符串」而化「整数」而「节点名称」暂无说明。
爻分支节点
公开「节点名称」暂无说明。
通用序列节点
公开「节点名称」暂无说明。
逗号序列节点
公开「节点名称」暂无说明。
外部调用头节点
公开「节点名称」暂无说明。
外部调用节点
公开「节点名称」暂无说明。
解析后外部调用节点无类型
公开化「字符串」而「节点名称」暂无说明。
解析后外部调用节点带类型
公开化「字符串」而「节点名称」暂无说明。
类型定义节点
公开「节点名称」暂无说明。
自由变量标注节点
公开化「字符串」而「节点名称」暂无说明。
内联虑
公开「节点名称」暂无说明。
内联虑带类型
公开「节点名称」暂无说明。
顺序执行节点
公开「节点名称」暂无说明。
类型判断节点
公开「节点名称」暂无说明。
元组构造节点
公开「节点名称」暂无说明。
元组类型节点
公开「节点名称」暂无说明。
栈元组构造节点
公开「节点名称」暂无说明。
擦除后类型节点
公开「节点名称」暂无说明。
元组解构节点
公开化「整数」而「节点名称」暂无说明。
运行时元组构造转换节点
公开化「整数」而「节点名称」暂无说明。
指针偏移节点
公开化「整数」而「节点名称」暂无说明。
元组更新节点
公开化「整数」而「节点名称」暂无说明。
元组解构节点等待元组值
公开化「整数」而「节点名称」暂无说明。
文件引用节点
公开化「字符串」而「节点名称」暂无说明。
文件定义引用节点
公开化「字符串」而化「字符串」而化「整数」而「节点名称」暂无说明。
源码范围标注节点
公开化（「字符串」合「整数」合「整数」合「整数」合「整数」）而「节点名称」暂无说明。
源码绑定范围标注节点
公开化（「字符串」合「整数」合「整数」合「整数」合「整数」）而「节点名称」暂无说明。
带注释节点
公开化（「列」于「字符串」）而化（「列」于「字符串」）而「节点名称」暂无说明。
顶层注释节点
公开化（「列」于「字符串」）而化（「列」于「字符串」）而「节点名称」暂无说明。
文件定义内存引用节点
公开化「字符串」而化「字符串」而化「整数」而「节点名称」暂无说明。
非自由变量节点
公开化「字符串」而「节点名称」暂无说明。
唯一构造器节点
公开化「整数」而化「字符串」而化「字符串」而「节点名称」暂无说明。
展开后唯一构造器节点
公开化「整数」而「节点名称」暂无说明。
唯一构造器序数元组节点
公开化「整数」而化「整数」而「节点名称」暂无说明。
唯一构造器序数元组投影序数节点
公开「节点名称」暂无说明。
唯一构造器序数元组投影元组节点
公开「节点名称」暂无说明。
递归节点
公开「节点名称」暂无说明。
表达式树组节点
公开化（「列」于「字符串」）而「节点名称」暂无说明。
待定节点
公开「节点名称」暂无说明。
近似类型原子节点
公开「节点名称」暂无说明。
近似类型占位节点
公开「节点名称」暂无说明。
构造声明近似类型节点
公开「节点名称」暂无说明。
类型声明近似类型节点
公开「节点名称」暂无说明。
定义声明近似类型节点
公开化「定义透明性」而「节点名称」暂无说明。
文件操作近似类型节点
公开化「结构名称操作」而「节点名称」暂无说明。
文件命名近似类型节点
公开化「字符串」而化「字符串」而「节点名称」暂无说明。
文件导入近似类型节点
公开化「字符串」而「节点名称」暂无说明。
文件打开近似类型节点
公开化「字符串」而「节点名称」暂无说明。
文件导出近似类型节点
公开化「字符串」而「节点名称」暂无说明。
续延调用节点
公开「节点名称」暂无说明。
续延调用返回节点
公开「节点名称」暂无说明。
拉姆达抽象两参数
公开「节点名称」暂无说明。
拉姆达抽象续延
公开化「字符串」而「节点名称」暂无说明。
拉姆达抽象续延无绑定
公开化「字符串」而「节点名称」暂无说明。
函数调用续延
公开化「字符串」而「节点名称」暂无说明。
函数尾调用
公开「节点名称」暂无说明。
函数调用续延无绑定
公开化「字符串」而「节点名称」暂无说明。
文件定义存储节点
公开化「字符串」而化「字符串」而化「整数」而「节点名称」暂无说明。
全局指针读取节点
公开化「字符串」而「节点名称」暂无说明。
全局指针更新节点
公开化「字符串」而「节点名称」暂无说明。
局部指针读取节点
公开化「字符串」而「节点名称」暂无说明。
局部指针更新节点
公开化「字符串」而「节点名称」暂无说明。
空值节点
公开「节点名称」暂无说明。
函数引用调用节点
公开「节点名称」暂无说明。
函数引用节点
公开化「字符串」而「节点名称」暂无说明。
函数全局声明节点
公开化「字符串」而「节点名称」暂无说明。
具体字符节点
公开化「字符串」而「节点名称」暂无说明。
词法注释节点
公开化「字符串」而化「注释方向」而「节点名称」暂无说明。
式节点
公开化「节点名称」而化（「列」于「表达式」）而「表达式」暂无说明。
绑定
公开化（「或可有」于「字符串」）而化「表达式」而「表达式」暂无说明。
绑定变量
公开化「整数」而「表达式」暂无说明。
自由变量
公开化「字符串」而「表达式」暂无说明。
文件定义列
公开「元类型」暂无说明。
表达式树组
公开「元类型」暂无说明。
带注释声明列
公开「元类型」暂无说明。
带注释编译单元
公开「元类型」暂无说明。
构造带注释编译单元
公开化（「列」于「表达式」）而化（「列」于「字符串」）而「带注释编译单元」暂无说明。
参数节点式
公开化「参数形式」而化（「列」于「表达式」）而「表达式」暂无说明。
函数调用式
公开化「表达式」而化（「列」于「表达式」）而「表达式」暂无说明。
分组函数调用式
公开化「参数形式」而化「表达式」而化（「列」于「表达式」）而「表达式」暂无说明。
解构函数调用式
公开化「表达式」而（「表达式」合（「列」于「表达式」））暂无说明。
添加函数调用参数
公开化「表达式」而化「参数形式」而化「表达式」而「表达式」暂无说明。
拆分函数调用末参数
公开化「表达式」而（「表达式」合「参数形式」合「表达式」）暂无说明。
函数类型
公开化「表达式」而化「表达式」而「表达式」暂无说明。
多参数函数类型
公开化（「列」于「表达式」）而化「表达式」而「表达式」暂无说明。
拆分多参数函数类型
公开化「表达式」而（「或可有」于（（「列」于「表达式」）合「表达式」））暂无说明。
拆分首函数类型参数
公开化「表达式」而（「或可有」于（「表达式」合「表达式」））暂无说明。
隐式类型函数类型
公开化「字符串」而化「表达式」而「表达式」暂无说明。
应用首隐式类型参数
公开化「表达式」而化「表达式」而「表达式」暂无说明。
整数类型
公开「表达式」暂无说明。
爻类型
公开「表达式」暂无说明。
字符串类型
公开「表达式」暂无说明。
动态分类值类型
公开「表达式」暂无说明。
有类型
公开「表达式」暂无说明。
自由变量类型
公开化「字符串」而「表达式」暂无说明。
内建物类型
公开化「内建常量」而「表达式」Self - referential 包含对于自我的引用， used to initialize context 用来初始化命名环境
读取式自由硬性变量
公开化「表达式」而（「列」于「字符串」）会包含重复的，rigid variable
是自由变量
公开化「表达式」而「爻」暂无说明。
表达式是绑定
公开化「表达式」而「爻」暂无说明。
表达式是返回自由变量
公开化「表达式」而「爻」暂无说明。
模式匹配新变量转自由变量
公开化「表达式」而「表达式」返回的绑定不会重复表达式中的字符串，也不会重复自由变量
式文件引用替换
公开化化「字符串」而（「或可有」于「表达式」）而化「表达式」而「表达式」暂无说明。
是直接变量
公开化「表达式」而「爻」暂无说明。
读取直接变量
公开化「表达式」而「字符串」暂无说明。
是文件引用节点
公开化「表达式」而「爻」暂无说明。
读取文件引用节点
公开化「表达式」而「字符串」暂无说明。
文件定义引用式
公开化「字符串」而化「字符串」而化「整数」而「表达式」暂无说明。
树组找到定义
公开化（「列」于（「字符串」合「爻」合「表达式」））而化「字符串」而（「爻」合「表达式」）暂无说明。
简单内联虑变换
公开化「表达式」而化（「或可有」于化「字符串」而「表达式」）而「表达式」暂无说明。
解构抽象并继续
公开承「甲」而化「表达式」而化化「字符串」而化「表达式」而「甲」而「甲」暂无说明。
解构多抽象并继续
公开承「甲」而化「整数」而化（「列」于「字符串」）而化「表达式」而化化（「列」于「字符串」）而化「表达式」而「甲」而「甲」暂无说明。
解构抽象不重复名称
公开化「表达式」而化（「列」于「字符串」）而（「字符串」合「表达式」）暂无说明。
打开首隐式派类型
公开化「表达式」而化（「列」于「字符串」）而（「字符串」合「表达式」）暂无说明。
解构抽象不重复名并继续
公开承「甲」而化（「列」于「字符串」）而化「表达式」而化化「字符串」而化「表达式」而「甲」而「甲」暂无说明。
是直接返回自由变量绑定
公开化「表达式」而「爻」暂无说明。
表达式收集元素
公开承「甲」而化化「表达式」而（「或可有」于「甲」）而化「表达式」而（「列」于「甲」）暂无说明。
参式相等
公开化「参数形式」而化「参数形式」而「爻」暂无说明。
表达式相等
公开化「表达式」而化「表达式」而「爻」暂无说明。
内建常量相等
公开化「内建常量」而化「内建常量」而「爻」暂无说明。
豫言_字符串表示转义
公开化「字符串」而「字符串」暂无说明。
参式表示
公开化「参数形式」而「字符串」暂无说明。
定义透明性表示
公开化「定义透明性」而「字符串」暂无说明。
构造器文件名表示
公开化「字符串」而「字符串」暂无说明。
节点名称表示
公开化「节点名称」而「字符串」暂无说明。
表达式表示
公开化「表达式」而「字符串」暂无说明。
表达式列表示
公开化（「列」于「表达式」）而「字符串」暂无说明。
树组表示
公开化（「列」于（「字符串」合「爻」合「表达式」））而「字符串」暂无说明。
结构名称操作
公开「元类型」暂无说明。
结构寻
公开「结构名称操作」暂无说明。
结构寻观
公开「结构名称操作」暂无说明。
结构寻观诵
公开「结构名称操作」暂无说明。
结构寻诵
公开「结构名称操作」暂无说明。
结构观
公开「结构名称操作」暂无说明。
结构观诵
公开「结构名称操作」暂无说明。
结构诵
公开「结构名称操作」暂无说明。
结构名称操作表示
公开化「结构名称操作」而「字符串」暂无说明。
表达式无副作用
公开化「表达式」而「爻」检查给定的表达式是否可以被消除 我们假设ANF形式
计算表达式复杂度
公开化「表达式」而「整数」暂无说明。