寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
「：文言：知造者之形，乃析受者之折；此证有前提，非泛称纯。汉语：输入须为已验证SSA。给定一个已知构造标签与字段形状，一代表创建者另行证明的整数，二代表递归子对象。只分析该标签实际选择的分支，抽取整数折叠表达式；供融合代码生成用，不把现有私有布局中的普通字段自动视作整数。：」
「折叠式」立「元类型」也。
 「折叠常」立化「整数」而「折叠式」也。
 「折叠字段」立化「整数」而「折叠式」也。
 「折叠递果」立化「整数」而「折叠式」也。
 「折叠算」立化「字符串」而化「折叠式」而化「折叠式」而「折叠式」也。
「折叠值」立「元类型」也。
 「折叠未知」立「折叠值」也。
 「折叠根」立「折叠值」也。
 「折叠载」立「折叠值」也。
 「折叠整数」立化「整数」而「折叠值」也。
 「折叠标量」立化「折叠式」而「折叠值」也。
 「折叠子树」立化「整数」而「折叠值」也。
 「折叠布尔」立化「爻」而「折叠值」也。
「折叠取式」乃化「折叠值」而（「或可有」于「折叠式」）也。
「折叠取式」者会「值」而鉴「值」而有（「折叠整数」于「数」）则「可有」于（「折叠常」于「数」）
 或有（「折叠标量」于「式」）则「可有」于「式」或有「其他」则「可无」也。
「折叠递数」乃化「整数」而化「折叠式」而「整数」也。
「折叠递数」者会「位」而会「式」而鉴「式」而有（「折叠递果」于「号」）则若「等于」于「位」于「号」则「一」否则「零」
 或有（「折叠算」于「术」于「甲」于「乙」）则「加」于（「折叠递数」于「位」于「甲」）于（「折叠递数」于「位」于「乙」）
 或有「其他」则「零」也。
「：文言：式虽共享，不令展开无穷。汉语：展开表达式最多128个节点；每次建算式即检查，避免共享DAG在用途统计中指数展开。：」
「折叠式大小」乃化「折叠式」而「整数」也。
「折叠式大小」者会「式」而鉴「式」而有（「折叠算」于「术」于「甲」于「乙」）则（
 虑「甲数」者「折叠式大小」于「甲」而若「大于」于「甲数」于「一二七」则「一二九」否则
 虑「乙数」者「折叠式大小」于「乙」而虑「数」者「加」于「一」于（「加」于「甲数」于「乙数」）而若「大于」于「数」于「一二八」则「一二九」否则「数」）
 或有「其他」则「一」也。
「析纯折叠」乃化「正则函数」而化「整数」而化（「列」于「整数」）而（「或可有」于「折叠式」）也。
「析纯折叠」者会「函」而会「标签」而会「形」而
 若「非」于（「且」于（「等于」于（「长度」授以「整数」于（「函」中「二」））于「一」）于（「且」于（「非」于（「大于」于（「函」中「四」）于「一二八」））于（「非」于（「大于」于（「长度」授以「整数」于「形」）于「八」））））则「可无」否则
 虑「好」者「新引用」授以「爻」于「阳」而
 虑「表」者「新数组引用」授以「折叠值」于「折叠未知」于（「函」中「四」）而
 虑「递数」者「新数组引用」授以「整数」于「零」于（「长度」授以「整数」于「形」）而
 虑「无」者「写数组引用」授以「折叠值」于「表」于（「第N个」授以「整数」于「零」于（「函」中「二」））于「折叠根」而
 虑「拒」者（化「有」而「折叠值」也会「无」而虑「无」者「写引用」于「好」于「阴」而「折叠未知」）而
 虑「取」者（化「正则原子」而「折叠值」也会「值」而鉴「值」而
  有（「正则局部」于「号」）则「读数组引用」授以「折叠值」于「表」于「号」
  或有（「正则整数」于「数」）则「折叠整数」于「数」或有（「正则爻」于「爻值」）则「折叠布尔」于「爻值」
  或有「其他」则「拒」于「元」）而
 虑「算值」者（化「字符串」而化「折叠值」而化「折叠值」而「折叠值」也会「名」而会「甲」而会「乙」而
  若「或者」于（「串相等」于「名」于『豫言_整数相等』）于（「串相等」于「名」于『豫言_整数大于』）则（
   鉴「甲」而有（「折叠整数」于「甲数」）则（鉴「乙」而有（「折叠整数」于「乙数」）则
    「折叠布尔」于（若「串相等」于「名」于『豫言_整数相等』则「等于」于「甲数」于「乙数」否则「大于」于「甲数」于「乙数」）
    或有「其他」则「拒」于「元」）或有「其他」则「拒」于「元」）否则
  若「或者」于（「串相等」于「名」于『豫言_整数加』）于（「或者」于（「串相等」于「名」于『豫言_整数减』）于（「串相等」于「名」于『豫言_整数乘』））则（
   鉴（「折叠取式」于「甲」）而有（「可有」于「甲式」）则（鉴（「折叠取式」于「乙」）而有（「可有」于「乙式」）则（虑「新式」者「折叠算」于「名」于「甲式」于「乙式」而若「大于」于（「折叠式大小」于「新式」）于「一二八」则「拒」于「元」否则「折叠标量」于「新式」）或有「可无」则「拒」于「元」）或有「可无」则「拒」于「元」）否则「拒」于「元」）而
 虑「运」者（化「正则操作」而化（「列」于「正则原子」）而「折叠值」也会「术」而会「参」而鉴「术」而
  有「正则取标签」则（鉴「参」而有（「列」【「值」】）则（鉴（「取」于「值」）而有「折叠根」则「折叠整数」于「标签」或有「其他」则「拒」于「元」）或有「其他」则「拒」于「元」）
  或有「正则取载荷」则（鉴「参」而有（「列」【「值」】）则（鉴（「取」于「值」）而有「折叠根」则「折叠载」或有「其他」则「拒」于「元」）或有「其他」则「拒」于「元」）
  或有（「正则取字段」于「位」）则（鉴「参」而有（「列」【「值」】）则（鉴（「取」于「值」）而有「折叠载」则（
   若「或者」于（「小于」于「位」于「零」）于（「非」于（「小于」于「位」于（「长度」授以「整数」于「形」）））则「拒」于「元」否则
   虑「类」者「第N个」授以「整数」于「位」于「形」而
   若「等于」于「类」于「一」则「折叠标量」于（「折叠字段」于「位」）否则若「等于」于「类」于「二」则「折叠子树」于「位」否则「拒」于「元」）
   或有「其他」则「拒」于「元」）或有「其他」则「拒」于「元」）
  或有（「正则原语」于「名」）则（鉴「参」而有（「列」【「甲」，「乙」】）则「算值」于「名」于（「取」于「甲」）于（「取」于「乙」）或有「其他」则「拒」于「元」）
  或有「正则调用」则（鉴「参」而有（「列」【（「正则函数引用」于「名」），「值」】）则（
   若「非」于（「串相等」于「名」于（「函」中「零」））则「拒」于「元」否则
   鉴（「取」于「值」）而有（「折叠子树」于「位」）则（
    虑「无」者「写数组引用」授以「整数」于「递数」于「位」于（「加」于（「读数组引用」授以「整数」于「递数」于「位」）于「一」）而
    「折叠标量」于（「折叠递果」于「位」））或有「其他」则「拒」于「元」）或有「其他」则「拒」于「元」）
  或有「其他」则「拒」于「元」）而
 递归虑「段值」其化「正则区域」而「折叠值」者会「段」而鉴「段」而有（「正则段」于「令们」于「终」）则（
  虑「无」者「态射」授以「正则指令」授以「有」于「令们」于（会「令」而鉴「令」而
   有（「正则运算」于「号」于「类」于「术」于「参」）则「写数组引用」授以「折叠值」于「表」于「号」于（「运」于「术」于「参」）
   或有（「正则如果」于「号」于「类」于「条件」于「阳体」于「阴体」）则（
    虑「值」者鉴（「取」于「条件」）而有（「折叠布尔」于「真」）则「段值」于（若「真」则「阳体」否则「阴体」）或有「其他」则「拒」于「元」而
    「写数组引用」授以「折叠值」于「表」于「号」于「值」）
   或有「其他」则（虑「无」者「拒」于「元」而「元」））而
  鉴「终」而有（「正则产出」于「值」）则「取」于「值」或有「其他」则「拒」于「元」）而
 虑「果」者「折叠取式」于（「段值」于（「函」中「三」））而
 若「非」于（「读引用」于「好」）则「可无」否则鉴「果」而有「可无」则「可无」或有（「可有」于「式」）则（
  虑「全」者「全部符合」授以「整数」于（会「位」而虑「类」者「第N个」授以「整数」于「位」于「形」而
   若「等于」于「类」于「一」则「阳」否则若「等于」于「类」于「二」则
    「且」于（「等于」于（「读数组引用」授以「整数」于「递数」于「位」）于「一」）于（「等于」于（「折叠递数」于「位」于「式」）于「一」）否则「阴」）于（「整数范围」于「零」于（「长度」授以「整数」于「形」））而
  若「全」则「可有」于「式」否则「可无」）也。
「折叠式表示」乃化「折叠式」而「字符串」也。
「折叠式表示」者会「式」而鉴「式」而
 有（「折叠常」于「数」）则「整数表示」于「数」
 或有（「折叠字段」于「位」）则『整数域[』附（「整数表示」于「位」）附『]』
 或有（「折叠递果」于「位」）则『子折[』附（「整数表示」于「位」）附『]』
 或有（「折叠算」于「名」于「甲」于「乙」）则「名」附『(』附（「折叠式表示」于「甲」）附『,』附（「折叠式表示」于「乙」）附『)』也。
