检查
公开化「爻」而「有」文言：可写者不可狭其型，受参宽而返果窄。汉语：检查可变字段不变、只读字段协变、函数参数逆变和结果协变，具体堆类型留给上下文匹配器。
模块 / 223
网页汇编核心/复合类型匹配。测试。豫
网页汇编核心/复合类型匹配。测试。豫
7公开名称
堆合
公开化「网页堆型」而化「网页堆型」而「爻」暂无说明。
宽
公开「网页完整值型」暂无说明。
窄
公开「网页完整值型」暂无说明。
空窄
公开「网页完整值型」暂无说明。
域
公开化「爻」而化「网页完整值型」而（「爻」合「网页存储型」）暂无说明。
函
公开化「网页完整值型」而化「网页完整值型」而「网页复合型」暂无说明。