条目表示
公开化「条目」而「字符串」暂无说明。
模块 / 1
编译数据/抽象绑定树结构/命名环境术。豫
编译数据/抽象绑定树结构/命名环境术。豫
9公开名称
命名环境表示
公开化（「列」于「条目」）而「字符串」暂无说明。
解析单个名称
公开化（「列」于「条目」）而化「字符串」而（「或可有」于「表达式」）名称解析结果立类型也。 绝对解析立化表达式而名称解析结果也。 未找到解析立名称解析结果也。
找到名称
公开化（「列」于「条目」）而化「字符串」而「表达式」暂无说明。
命名环境获取所有名称
公开化（「列」于「条目」）而（「列」于「字符串」）暂无说明。
默认命名环境
公开（「列」于「条目」）暂无说明。
添加声明
公开化（「列」于「条目」）而化「字符串」而化「表达式」而（「字符串」合（「列」于「条目」））暂无说明。
添加声明不改变名
公开化「字符串」而化（「列」于「条目」）而化「字符串」而化「表达式」而（「列」于「条目」）暂无说明。
添加模式匹配声明
公开化（「列」于「条目」）而化「表达式」而（「列」于「条目」）暂无说明。