软件/豫言/源码树浏览器/入口。豫
模块 / 23
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫
化「表达式」而「爻」
检查给定的表达式是否可以被消除 我们假设ANF形式