带定义绑定递归带名
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化化「字符串」而化（「列」于「条目」）而化「表达式」而「表达式」而「表达式」暂无说明。
模块 / 144
编译步骤/优化/基础工具/表达式带定义操作。豫
编译步骤/优化/基础工具/表达式带定义操作。豫
6公开名称
带定义多绑定递归
公开化「整数」而化（「列」于「条目」）而化「表达式」而化「表达式」而化化（「列」于「条目」）而化「表达式」而「表达式」而「表达式」暂无说明。
多绑定递归
公开化「整数」而化「表达式」而化化「表达式」而「表达式」而「表达式」暂无说明。
带定义绑定递归
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化化（「列」于「条目」）而化「表达式」而「表达式」而「表达式」暂无说明。
占位式
公开「表达式」用于不知道定义的变量占位（例如续延和递归变量）
表达式带定义统一操作
公开化化（「列」于「条目」）而化「表达式」而「表达式」而化（「列」于「条目」）而化「表达式」而「表达式」暂无说明。