跳到正文
豫
豫言文档
API ATLAS
入口
软件/豫言/批量发布/入口。豫
102
模块
1919
名称
← 全部模块
35
模块 / 35
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫
软件/豫言/编译器核心/编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫
1
公开名称
表达式无副作用
公开
化「表达式」而「爻」
检查给定的表达式是否可以被消除 我们假设ANF形式