寻观「标准库」之书。
寻观「编译器核心」之「网页汇编核心」之「模块结构」之书。

「：文言：小整取低三十一位，左移一而署末位一；零为空引，偶数留堆柄。汉语：客体 eqref 使用低位标记：奇数是完整 i31 值域，零是空引用，非零偶数预留给堆句柄。此内部编码不改变 Wasm 类型，非 i31 解箱必须陷阱。：」
「客体小整装箱函数」乃化「整数」而「网页函数」也。
「客体小整装箱函数」者会「型号」而
  「型号」与「零」
    与（「列」【「网页局部读取」于「零」，「网页常量」于「一」，「网页左移」，「网页常量」于「一」，「网页按位或」】）
也。

「客体小整有符号函数」乃化「整数」而「网页函数」也。
「客体小整有符号函数」者会「型号」而
  「型号」与「零」
  与（「列」【
    「网页局部读取」于「零」，
    「网页常量」于「一」，
    「网页按位与」，
    「网页为零」，
    「网页条件」于「零」，
    「网页陷阱」，
    「网页结束」，
    「网页局部读取」于「零」，
    「网页常量」于「一」，
    「网页有符号右移」
  】）
也。

「客体小整无符号函数」乃化「整数」而「网页函数」也。
「客体小整无符号函数」者会「型号」而
  「型号」与「零」
  与（「列」【
    「网页局部读取」于「零」，
    「网页常量」于「一」，
    「网页按位与」，
    「网页为零」，
    「网页条件」于「零」，
    「网页陷阱」，
    「网页结束」，
    「网页局部读取」于「零」，
    「网页常量」于「一」，
    「网页无符号右移」
  】）
也。

「客体小整判别函数」乃化「整数」而「网页函数」也。
「客体小整判别函数」者会「型号」而
  「型号」与「零」与（「列」【「网页局部读取」于「零」，「网页常量」于「一」，「网页按位与」】）
也。
