检查隐式头或子类型
公开化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」暂无说明。
模块 / 51
软件/豫言/编译器核心/编译步骤/类型检查/对象类型检查。豫
软件/豫言/编译器核心/编译步骤/类型检查/对象类型检查。豫
2公开名称
进行对象类型检查
公开化（「列」于「条目」）而化「表达式」而化「表达式」而「表达式」|- M : A
软件/豫言/标准库签名导出/入口。豫模块 / 51
软件/豫言/编译器核心/编译步骤/类型检查/对象类型检查。豫
化（「列」于「条目」）而化「表达式」而化「表达式」而化「表达式」而「表达式」暂无说明。
化（「列」于「条目」）而化「表达式」而化「表达式」而「表达式」|- M : A