寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
寻观「编译器核心」之「网页汇编核心」之「类型身份」之书。
「：文言：异号同组可同身，异组分法不强同。汉语：覆盖编号平移、重复组驻留、组内位置、字段类型及 final 标记；身份只在共享表中比较。：」
「检查」乃化「爻」而「有」也。
「检查」者会「真」而若「真」则「元」否则「发生事故」于『递归类型身份测试失败』也。
「自引」乃化「整数」而「网页子型声明」也。
「自引」者会「号」而「阳」与（「罄」授以「整数」）与（「网页结构复合」于（「列」【「阴」与（「网页普通存储」于（「网页引用值型」于「阳」于（「网页具体堆」于「号」）））】））也。
「数域」乃化「爻」而化「网页存储型」而「网页子型声明」也。
「数域」者会「终」而会「型」而「终」与（「罄」授以「整数」）与（「网页结构复合」于（「列」【「阴」与「型」】））也。
「整」者「数域」于「阳」于（「网页普通存储」于「网页整三二型」）也。
「甲」者「网页建立类型身份」于「罄」于（「列」【「列」【「自引」于「零」】】）也。
「乙」者「网页建立类型身份」于（「甲」中「零」）于（「列」【「列」【「整」】，「列」【「自引」于「一」】】）也。
「检查」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「甲」中「一」））于（「第N个」授以「网页类型身份」于「一」于（「乙」中「一」）））。
「检查」于（「等于」于（「长度」授以「字符串」于（「乙」中「零」））于「二」）。
「丙」者「网页建立类型身份」于（「乙」中「零」）于（「列」【「列」【「整」】，「列」【「整」】，「列」【「自引」于「零」】，「列」【「自引」于「一」】】）也。
「检查」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「丙」中「一」））于（「第N个」授以「网页类型身份」于「一」于（「丙」中「一」）））。
「检查」于（「网页身份同」于（「第N个」授以「网页类型身份」于「二」于（「丙」中「一」））于（「第N个」授以「网页类型身份」于「三」于（「丙」中「一」）））。
「检查」于（「非」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「甲」中「一」））于（「第N个」授以「网页类型身份」于「二」于（「丙」中「一」））））。
「丁」者「网页建立类型身份」于（「丙」中「零」）于（「列」【「列」【「整」，「整」】】）也。
「检查」于（「非」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「丁」中「一」））于（「第N个」授以「网页类型身份」于「一」于（「丁」中「一」））））。
「检查」于（「非」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「丁」中「一」））于（「第N个」授以「网页类型身份」于「零」于（「丙」中「一」））））。
「戊」者「网页建立类型身份」于（「丁」中「零」）于（「列」【「列」【「数域」于「阴」于（「网页普通存储」于「网页整三二型」）】，「列」【「数域」于「阳」于「网页整八存储」】，「列」【「数域」于「阳」于「网页整十六存储」】】）也。
「检查」于（「非」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「戊」中「一」））于（「第N个」授以「网页类型身份」于「零」于（「丙」中「一」））））。
「检查」于（「非」于（「网页身份同」于（「第N个」授以「网页类型身份」于「一」于（「戊」中「一」））于（「第N个」授以「网页类型身份」于「二」于（「戊」中「一」））））。
「己」者「网页建立类型身份」于（「戊」中「零」）于（「列」【「罄」，「列」【「自引」于「零」】】）也。
「检查」于（「网页身份同」于（「第N个」授以「网页类型身份」于「零」于（「己」中「一」））于（「第N个」授以「网页类型身份」于「零」于（「甲」中「一」）））。
「检查」于（「等于」于（「长度」授以「字符串」于（「己」中「零」））于（「长度」授以「字符串」于（「戊」中「零」）））。
