网页类型上下文
公开「元类型」文言：先定作用域与身份，循父链验相容，乃验诸声明之体。汉语：组合递归组身份、显式继承链和复合类型方差，验证类型段；不代表指令或整个模块已经验证。
模块 / 309
网页汇编核心/类型段验证。豫
网页汇编核心/类型段验证。豫
6公开名称
网页取上下文型
公开化（（「列」于（「爻」合（「列」于「整数」）合「网页复合型」））合（「列」于（「整数」合「整数」）））而化「整数」而（「爻」合（「列」于「整数」）合「网页复合型」）暂无说明。
网页具体祖先相容
公开化（（「列」于（「爻」合（「列」于「整数」）合「网页复合型」））合（「列」于（「整数」合「整数」）））而化「整数」而化「整数」而「爻」暂无说明。
网页具体抽象类
公开化（（「列」于（「爻」合（「列」于「整数」）合「网页复合型」））合（「列」于（「整数」合「整数」）））而化「整数」而「网页抽象堆型」暂无说明。
网页上下文堆相容
公开化（（「列」于（「爻」合（「列」于「整数」）合「网页复合型」））合（「列」于（「整数」合「整数」）））而化「网页堆型」而化「网页堆型」而「爻」暂无说明。
网页验证类型段
公开化（「列」于「字符串」）而化（「列」于（「列」于（「爻」合（「列」于「整数」）合「网页复合型」）））而（（「列」于「字符串」）合（（「列」于（「爻」合（「列」于「整数」）合「网页复合型」））合（「列」于（「整数」合「整数」））））暂无说明。