软件/豫言/编译器核心/临时发布文档索引。豫
模块 / 94
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫
化「表达式」而「爻」
检查给定的表达式是否可以被消除 我们假设ANF形式