解开源码绑定范围标注
公开化「表达式」而（「表达式」合（「或可有」于（「字符串」合「整数」合「整数」合「整数」合「整数」）））暂无说明。
模块 / 52
软件/豫言/编译器核心/编译步骤/类型检查/类型检查工具。豫
软件/豫言/编译器核心/编译步骤/类型检查/类型检查工具。豫
8公开名称
记录源码绑定悬停
公开化（「或可有」于（「字符串」合「整数」合「整数」合「整数」合「整数」））而化「表达式」而「有」暂无说明。
单个抽象参数类型类型检查
公开化化（「列」于「条目」）而化「表达式」而「表达式」而化（「列」于「条目」）而化「表达式」而化「表达式」而（「列」于「表达式」）暂无说明。
多个隐式抽象参数类型类型检查
公开化化（「列」于「条目」）而化「表达式」而「表达式」而化（「列」于「条目」）而化「整数」而化「表达式」而「表达式」暂无说明。
进行绑定对象类型检查
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」暂无说明。
进行绑定对象类型合成
公开化（「列」于「条目」）而化「表达式」而化「表达式」而（「表达式」合「表达式」）暂无说明。
进行对象类型合成
公开化（「列」于「条目」）而化「表达式」而（「表达式」合「表达式」）暂无说明。
对象子类型检查
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」暂无说明。