寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
「：文言：堆型相容由上下文裁之，值与字段各守其变。汉语：复合类型匹配通过参数取得堆类型关系，不假定模块编号即类型身份；字段可变性和函数方差在本层检查。：」
「网页堆匹配器」即化「网页堆型」而化「网页堆型」而「爻」也。
「网页完整值类别」乃化「网页完整值型」而「整数」也。
「网页完整值类别」者会「型」而鉴「型」而有「网页整三二型」则「零」或有「网页整六四型」则「一」或有「网页浮三二型」则「二」或有「网页浮六四型」则「三」或有「网页向量型」则「四」或有「其他」则「五」也。
「网页完整值相容」乃化「网页堆匹配器」而化「网页完整值型」而化「网页完整值型」而「爻」也。
「网页完整值相容」者会「堆合」而会「源」而会「目」而鉴「源」而
 有「网页引用值型」于「源空」于「源堆」则（鉴「目」而有「网页引用值型」于「目空」于「目堆」则「且」于（「或者」于（「非」于「源空」）于「目空」）于（「堆合」于「源堆」于「目堆」）或有「其他」则「阴」）
 或有「其他」则「等于」于（「网页完整值类别」于「源」）于（「网页完整值类别」于「目」）也。
「网页存储相容」乃化「网页堆匹配器」而化「网页存储型」而化「网页存储型」而「爻」也。
「网页存储相容」者会「堆合」而会「源」而会「目」而鉴「源」而
 有「网页整八存储」则（鉴「目」而有「网页整八存储」则「阳」或有「其他」则「阴」）
 或有「网页整十六存储」则（鉴「目」而有「网页整十六存储」则「阳」或有「其他」则「阴」）
 或有「网页普通存储」于「值」则（鉴「目」而有「网页普通存储」于「期」则「网页完整值相容」于「堆合」于「值」于「期」或有「其他」则「阴」）也。
「网页字段相容」乃化「网页堆匹配器」而化「网页字段型」而化「网页字段型」而「爻」也。
「网页字段相容」者会「堆合」而会「源」而会「目」而
 若「非」于（「等于」于（若「源」中「零」则「一」否则「零」）于（若「目」中「零」则「一」否则「零」））则「阴」否则
 「且」于（「网页存储相容」于「堆合」于（「源」中「一」）于（「目」中「一」））于（若「源」中「零」则「网页存储相容」于「堆合」于（「目」中「一」）于（「源」中「一」）否则「阳」）也。
「网页值列相容」乃化「网页堆匹配器」而化（「列」于「网页完整值型」）而化（「列」于「网页完整值型」）而「爻」也。
「网页值列相容」者会「堆合」而会「源」而会「目」而鉴「源」而
 有「罄」则（鉴「目」而有「罄」则「阳」或有「其他」则「阴」）
 或有「缀」于「头」于「尾」则（鉴「目」而有「缀」于「期」于「余」则「且」于（「网页完整值相容」于「堆合」于「头」于「期」）于（「网页值列相容」于「堆合」于「尾」于「余」）或有「其他」则「阴」）也。
「网页字段前缀相容」乃化「网页堆匹配器」而化（「列」于「网页字段型」）而化（「列」于「网页字段型」）而「爻」也。
「网页字段前缀相容」者会「堆合」而会「源」而会「目」而鉴「目」而
 有「罄」则「阳」
 或有「缀」于「期」于「余」则（鉴「源」而有「缀」于「头」于「尾」则「且」于（「网页字段相容」于「堆合」于「头」于「期」）于（「网页字段前缀相容」于「堆合」于「尾」于「余」）或有「其他」则「阴」）也。
「网页复合相容」乃化「网页堆匹配器」而化「网页复合型」而化「网页复合型」而「爻」也。
「网页复合相容」者会「堆合」而会「源」而会「目」而鉴「源」而
 有「网页函数复合」于「签」则（鉴「目」而有「网页函数复合」于「期」则「且」于（「网页值列相容」于「堆合」于（「期」中「零」）于（「签」中「零」））于（「网页值列相容」于「堆合」于（「签」中「一」）于（「期」中「一」））或有「其他」则「阴」）
 或有「网页结构复合」于「域」则（鉴「目」而有「网页结构复合」于「期」则「网页字段前缀相容」于「堆合」于「域」于「期」或有「其他」则「阴」）
 或有「网页数组复合」于「域」则（鉴「目」而有「网页数组复合」于「期」则「网页字段相容」于「堆合」于「域」于「期」或有「其他」则「阴」）也。
