豫言源码浏览器

yuyan · 2525 行 · 200372 字节 · UTF-8
「：
豫言源码排版的纯函数实现。

排版前先完成带注释抽象语法解析；只有整份源码语法正确时才会生成结果。
输出仍以词法单元为骨架，以免抽象语法规约操作符和括号后失去可逆信息。
：」

寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「抽象语法分析」之书。

「排版片」立「元类型」也。
  「文字片」立化「字符串」而「排版片」也。 「：连续的具体语法字符。：」
  「原子片」立化「字符串」而「排版片」也。 「：标识符或字符串，不可从中换行。：」
  「括号片」立化（「列」于「排版片」）而「排版片」也。
  「方括号片」立化（「列」于「排版片」）而「排版片」也。
  「句号片」立「排版片」也。
  「分号片」立「排版片」也。
  「注释片」立化「字符串」而化「注释方向」而「排版片」也。
  「原换行片」立化「整数」 「：换行数量：」而
    化「整数」 「：下一行原缩进：」而
    「排版片」也。
  「构造器缩进片」立「排版片」也。 「：仅示顶层构造器声明当缩进一层。：」

「缩进层」即「整数」合「整数」也。 「：原缩进与排版缩进的对应：」

「排版状态」立「元类型」也。
  「构造排版状态」立化（「列」于「字符串」） 「：倒序输出片段：」而
    化「整数」 「：当前列：」而
    化「整数」 「：连续换行数：」而
    化（「列」于「缩进层」） 「：原布局到排版布局的缩进栈：」而
    化（「列」于「整数」） 「：语法中等待而字闭合的锚栈，非虑锚记为负一：」而
    化「整数」 「：最近闭合的虑锚，负一即无：」而
    「排版状态」也。

「文字排版步」立「元类型」也。
  「构造文字排版步」立化「排版状态」而化（「列」于「排版片」）而
    化「整数」而化「整数」而化「整数」而「文字排版步」也。

「单词法排版结果」立「元类型」也。
  「左括号结果」立「单词法排版结果」也。
  「右括号结果」立「单词法排版结果」也。
  「左方括号结果」立「单词法排版结果」也。
  「右方括号结果」立「单词法排版结果」也。
  「普通排版结果」立化「排版片」而「单词法排版结果」也。

「源码布局项」立「元类型」也。
  「源码词法位」立「源码布局项」也。
  「源码原子位」立化「字符串」而「源码布局项」也。
  「源码换行位」立化「整数」而化「整数」而「源码布局项」也。

「布局词法」立「元类型」也。
  「布局普通词法」立化「表达式」而「布局词法」也。
  「布局原子词法」立化「表达式」而化「字符串」而「布局词法」也。
  「布局换行词法」立化「整数」而化「整数」而「布局词法」也。

「排版状态片段」乃化「排版状态」而「列」于「字符串」也。
「排版状态片段」者会「状态」而鉴「状态」而有「构造排版状态」于「片段」于「忽略列」于「忽略换行数」于「忽略缩进栈」于
「忽略而锚栈」于「忽略末虑锚」则
  「片段」也。

「排版状态当前列」乃化「排版状态」而「整数」也。
「排版状态当前列」者会「状态」而鉴「状态」而有「构造排版状态」于「忽略片段」于「当前列」于「忽略换行数」于「忽略缩进栈」于
「忽略而锚栈」于「忽略末虑锚」
则「当前列」也。

「排版状态连续换行数」乃化「排版状态」而「整数」也。
「排版状态连续换行数」者会「状态」而鉴「状态」而有「构造排版状态」于「忽略片段」于「忽略列」于「换行数」于「忽略缩进栈」于
「忽略而锚栈」于「忽略末虑锚」
则「换行数」也。

「排版状态缩进栈」乃化「排版状态」而「列」于「缩进层」也。
「排版状态缩进栈」者会「状态」而鉴「状态」而有「构造排版状态」于「忽略片段」于「忽略列」于「忽略换行数」于「缩进栈」于
「忽略而锚栈」于「忽略末虑锚」则
  「缩进栈」也。

「排版状态设置缩进栈」乃化「排版状态」而化（「列」于「缩进层」）而「排版状态」也。
「排版状态设置缩进栈」者会「状态」而会「新缩进栈」而鉴「状态」而
有「构造排版状态」于「片段」于「当前列」于「换行数」于「忽略缩进栈」于「而锚栈」于「末虑锚」则
  「构造排版状态」于「片段」于「当前列」于「换行数」于「新缩进栈」于「而锚栈」于「末虑锚」
也。

「排版状态而锚栈」乃化「排版状态」而（「列」于「整数」）也。
「排版状态而锚栈」者会「状态」而鉴「状态」而
有「构造排版状态」于「忽略片段」于「忽略列」于「忽略换行数」于「忽略缩进栈」于「而锚栈」于「忽略末虑锚」则「而锚栈」
也。

「排版状态末虑锚」乃化「排版状态」而「整数」也。
「排版状态末虑锚」者会「状态」而鉴「状态」而
有「构造排版状态」于「忽略片段」于「忽略列」于「忽略换行数」于「忽略缩进栈」于「忽略而锚栈」于「末虑锚」则「末虑锚」
也。

「排版状态清空缩进栈」乃化「排版状态」而「排版状态」也。
「排版状态清空缩进栈」者会「状态」而「排版状态设置缩进栈」于「状态」于「罄」也。

「排版状态为空」乃化「排版状态」而「爻」也。
「排版状态为空」者会「状态」而鉴「排版状态片段」于「状态」而
  有「罄」则「阳」
  或有「其他」则「阴」也。

「排版状态末片段为右括号」乃化「排版状态」而「爻」也。
「排版状态末片段为右括号」者会「状态」而
  鉴「排版状态片段」于「状态」而
    有（「缀」于「末片段」于「忽略尾」）则「字符串相等吗」于「末片段」于『）』
    或有「其他」则「阴」
也。

「排版状态末片段为」乃化「字符串」而化「排版状态」而「爻」也。
「排版状态末片段为」者会「目标」而会「状态」而
  鉴「排版状态片段」于「状态」而
    有（「缀」于「末片段」于「忽略尾」）则「字符串相等吗」于「末片段」于「目标」
    或有「其他」则「阴」
也。

「反片段当前行含」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「反片段当前行含」者会「目标」而会「反片段」而
  鉴「反片段」而
    有「罄」则「阴」
    或有（「缀」于「当前片段」于「尾」）则
      若「是子字符串吗」于『「：换行：」』于「当前片段」则「阴」否则
        若「字符串相等吗」于「目标」于「当前片段」则「阳」否则「反片段当前行含」于「目标」于「尾」
也。

「排版状态当前行含」乃化「字符串」而化「排版状态」而「爻」也。
「排版状态当前行含」者会「目标」而会「状态」而
  「反片段当前行含」于「目标」于（「排版状态片段」于「状态」）
也。

「排版状态当前行有化」乃化「排版状态」而「爻」也。
「排版状态当前行有化」者会「状态」而
  「或者」于（「排版状态当前行含」于『化』于「状态」）于（「或者」
    于（「排版状态当前行含」于『乃化』于「状态」）于（「或者」
      于（「排版状态当前行含」于『立化』于「状态」）于（「或者」
        于（「排版状态当前行含」于『其化』于「状态」）于（「排版状态当前行含」于『而化』于「状态」））））
也。

「排版状态当前行有而」乃化「排版状态」而「爻」也。
「排版状态当前行有而」者会「状态」而
  「或者」于（「排版状态当前行含」于『而』于「状态」）于（「排版状态当前行含」于『而化』于「状态」）
也。

「排版状态当前行有会」乃化「排版状态」而「爻」也。
「排版状态当前行有会」者会「状态」而
  「或者」于（「排版状态当前行含」于『会』于「状态」）于（「或者」
    于（「排版状态当前行含」于『者会』于「状态」）于（「排版状态当前行含」于『而会』于「状态」））
也。

「排版状态当前行有鉴」乃化「排版状态」而「爻」也。
「排版状态当前行有鉴」者会「状态」而
  「或者」于（「排版状态当前行含」于『鉴』于「状态」）于（「排版状态当前行含」于『而鉴』于「状态」）
也。

「字符列会数」乃化（「列」于「字符串」）而「整数」也。
「字符列会数」者会「字符们」而
  鉴「字符们」而
    有「罄」则「零」
    或有（「缀」于『会』于「尾」）则「加」于「一」于（「字符列会数」于「尾」）
    或有（「缀」于「忽略字符」于「尾」）则「字符列会数」于「尾」
也。

「重复字符串」乃化「字符串」而化「整数」而「字符串」也。
「重复字符串」者会「文字」而会「次数」而
  若「小于」于「零」于「次数」
  则
    「文字」附（「重复字符串」于「文字」于（「减」于「次数」于「一」））
  否则
    『』
也。

「字符显示宽度」乃化「字符串」而「整数」也。
「字符显示宽度」者会「字符」而
  若「等于」于（「字节长度」于「字符」）于「一」则「一」否则「二」
也。

「字符列显示宽度」乃化（「列」于「字符串」）而「整数」也。
「字符列显示宽度」者会「字符们」而
  鉴「字符们」而
    有「罄」则「零」
    或有（「缀」于「字符」于「尾」）则
      「加」于（「字符显示宽度」于「字符」）于（「字符列显示宽度」于「尾」）
也。

「字符串显示宽度」乃化「字符串」而「整数」也。
「字符串显示宽度」者会「文字」而「字符列显示宽度」于（「获取字符」于「文字」）也。

「首行字符显示宽度」乃化（「列」于「字符串」）而「整数」也。
「首行字符显示宽度」者会「字符们」而
  鉴「字符们」而
    有「罄」则「零」
    或有（「缀」于『「：换行：」』于「忽略尾」）则「零」
    或有（「缀」于「字符」于「尾」）则
      「加」于（「字符显示宽度」于「字符」）于（「首行字符显示宽度」于「尾」）
也。

「字符串首行显示宽度」乃化「字符串」而「整数」也。
「字符串首行显示宽度」者会「文字」而「首行字符显示宽度」于（「获取字符」于「文字」）也。

「计算追加后行态」乃化（「列」于「字符串」）而化「整数」而化「整数」而（「整数」合「整数」）也。
「计算追加后行态」者会「字符们」而会「当前列」而会「连续换行数」而
  鉴「字符们」而
    有「罄」则「当前列」与「连续换行数」
    或有（「缀」于「字符」于「尾」）则
      若「字符串相等吗」于「字符」于『「：换行：」』
      则
        「计算追加后行态」于「尾」于「零」于（「加」于「连续换行数」于「一」）
      否则
        「计算追加后行态」于「尾」于（「加」于「当前列」于（「字符显示宽度」于「字符」））于「零」
也。

「追加文字弹而锚」乃化（「列」于「整数」）而（「列」于「整数」）也。
「追加文字弹而锚」者会「锚们」而
  鉴「锚们」而
    有（「缀」于「忽略锚」于「尾」）则「尾」
    或有「罄」则「罄」
也。

「追加字符而锚栈」乃化（「列」于「字符串」）而化「整数」而化（「列」于「整数」）而（「列」于「整数」）也。
「追加字符而锚栈」者会「字符们」而会「当前列」而会「锚们」而
  鉴「字符们」而
    有「罄」则「锚们」
    或有（「缀」于『「：换行：」』于「尾」）则「追加字符而锚栈」于「尾」于「零」于「锚们」
    或有（「缀」于『递』于（「缀」于『归』于（「缀」于『虑』于「尾」）））则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「六」）
        于（「缀」于「当前列」于「锚们」）
    或有（「缀」于『虑』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「缀」于「当前列」于「锚们」）
    或有（「缀」于『会』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『鉴』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『化』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『承』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『受』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『而』于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于「二」）
        于（「追加文字弹而锚」于「锚们」）
    或有（「缀」于「字符」于「尾」）则
      「追加字符而锚栈」于「尾」于（「加」于「当前列」于（「字符显示宽度」于「字符」））于「锚们」
也。

「追加文字而锚栈」乃化「字符串」而化「整数」而化（「列」于「整数」）而（「列」于「整数」）也。
「追加文字而锚栈」者会「文字」而会「当前列」而会「锚们」而
  鉴（「获取字符」于「文字」）而
    有（「缀」于『「』于「忽略尾」）则「锚们」
    或有（「缀」于『『』于「忽略尾」）则「锚们」
    或有「字符们」则「追加字符而锚栈」于「字符们」于「当前列」于「锚们」
也。

「排版状态追加」乃化「排版状态」而化「字符串」而「排版状态」也。
「排版状态追加」者会「状态」而会「文字」而
  若「字符串相等吗」于「文字」于『』则「状态」否则
    鉴「状态」而
      有「构造排版状态」于「反片段」于「当前列」于「连续换行数」于「缩进栈」于「而锚栈」于「末虑锚」则
        虑「新行态」者「计算追加后行态」于（「获取字符」于「文字」）于「当前列」于「连续换行数」而
        虑「新末虑锚」者若「字符串相等吗」于「文字」于『而』则鉴「而锚栈」而
          有（「缀」于「锚」于「忽略尾」）则若「小于」于「锚」于「零」则「减」于「零」于「一」否则「锚」
          或有「罄」则「减」于「零」于「一」
        否则
          「末虑锚」而
        虑「新而锚栈」者「追加文字而锚栈」于「文字」于「当前列」于「而锚栈」而
        「构造排版状态」于（「缀」于「文字」于「反片段」）于（「新行态」中「零」）
            于（「新行态」中「一」）于
            「缩进栈」于「新而锚栈」于「新末虑锚」
也。

「排版状态保证换行」乃化「排版状态」而化「整数」而「排版状态」也。
「排版状态保证换行」者会「状态」而会「数量」而
  若「排版状态为空」于「状态」则「状态」否则
    虑「尚需」者「减」于「数量」于（「排版状态连续换行数」于「状态」）而
    若「小于」于「零」于「尚需」
    则
      「排版状态追加」于「状态」于（「重复字符串」于『「：换行：」』于「尚需」）
    否则
      「状态」
也。

「排版状态准备缩进」乃化「排版状态」而化「整数」而「排版状态」也。
「排版状态准备缩进」者会「状态」而会「缩进」而
  若「等于」于（「排版状态当前列」于「状态」）于「零」
  则
    「排版状态追加」于「状态」于（「重复字符串」于『 』于「缩进」）
  否则
    「状态」
也。

「取片段末行文字」乃化「字符串」而化（「列」于「字符串」）而「字符串」也。
「取片段末行文字」者会「已有」而会「字符们」而
  鉴「字符们」而
    有「罄」则「已有」
    或有（「缀」于「字符」于「尾」）则
      若「字符串相等吗」于「字符」于『「：换行：」』则「取片段末行文字」于『』于「尾」否则
        「取片段末行文字」于（「已有」附「字符」）于「尾」
也。

「反片段当前行文字」乃化（「列」于「字符串」）而「字符串」也。
「反片段当前行文字」者会「反片段」而
  鉴「反片段」而
    有「罄」则『』
    或有（「缀」于「片段」于「尾」）则
      若「是子字符串吗」于『「：换行：」』于「片段」
      则
        「取片段末行文字」于『』于（「获取字符」于「片段」）
      否则
        （「反片段当前行文字」于「尾」）附「片段」
也。

「数行首空格」乃化（「列」于「字符串」）而「整数」也。
「数行首空格」者会「字符们」而
  鉴「字符们」而
    有（「缀」于『 』于「尾」）则「加」于「一」于（「数行首空格」于「尾」）
    或有「其他」则「零」
也。

「排版状态当前行缩进」乃化「排版状态」而「整数」也。
「排版状态当前行缩进」者会「状态」而
  「数行首空格」于（「获取字符」于（「反片段当前行文字」于（「排版状态片段」于「状态」）））
也。

「去行首空格」乃化「字符串」而「字符串」也。
「去行首空格」者会「行」而
  虑「字符们」者「获取字符」于「行」而
  「串组合并」于（（「放」授以「字符串」）于（「数行首空格」于「字符们」）于「字符们」）
也。

「反查若片段状态」乃化「字符串」而化「整数」而化「爻」而（「整数」合「爻」）也。
「反查若片段状态」者会「片段」而会「待配否则数」而会「已匹配本行」而
  虑「乃原子片段」者「或者」于（「是子字符串吗」于『「』于「片段」）
    于（「是子字符串吗」于『『』于「片段」）而
  虑「含若」者若「乃原子片段」则「阴」否则「是子字符串吗」于『若』于「片段」而
  虑「含否则」者若「乃原子片段」则「阴」否则「是子字符串吗」于『否则』于「片段」而
  若「已匹配本行」则「待配否则数」与「阳」否则
    若「且」于「含若」于「含否则」则「待配否则数」与「阴」
    否则若「含若」则
      若「等于」于「待配否则数」于「零」则「待配否则数」与「阳」否则（「减」于「待配否则数」于「一」）与「阴」
    否则若「含否则」则（「加」于「待配否则数」于「一」）与「阴」
    否则
      「待配否则数」与「阴」
也。

「已匹配若则取行缩进」乃化「爻」而化（「列」于「字符串」）而化「整数」而「整数」也。
「已匹配若则取行缩进」者会「已匹配本行」而会「当前行字符」而会「备用缩进」而
  若「已匹配本行」则「备用缩进」否则「备用缩进」
也。

「寻找相应若缩进于反片段」乃化（「列」于「字符串」）而化（「列」于「字符串」）而
  化（「列」于「字符串」）而化「整数」而化「爻」而化「整数」而「整数」也。
「寻找相应若缩进于反片段」者会「反片段」而会「反当前片字符」而会「当前行字符」而会「待配否则数」而会「已匹配本行」而
  会「备用缩进」而
    鉴「反当前片字符」与「反片段」而
      有（「缀」于「字符」于「字符尾」）与「其余反片段」则
        若「字符串相等吗」于「字符」于『「：换行：」』则
          若「已匹配本行」则「备用缩进」否则
            「寻找相应若缩进于反片段」于「其余反片段」于「字符尾」于「罄」于「待配否则数」于「阴」于「备用缩进」
        否则
          「寻找相应若缩进于反片段」于「其余反片段」于「字符尾」
          于（「缀」于「字符」于「当前行字符」）于「待配否则数」于
        「已匹配本行」于「备用缩进」
      或有「罄」与（「缀」于「片段」于「尾」）
      则（虑「片段状态」者「反查若片段状态」于「片段」于「待配否则数」于
        「已匹配本行」而
          「寻找相应若缩进于反片段」于「尾」
            于（（「反转」授以「字符串」）于（「获取字符」于「片段」））于
            「当前行字符」
            于（「片段状态」中「零」）
            于（「片段状态」中「一」）
            于（若「且」于（「片段状态」中「一」）于（「非」于「已匹配本行」）
              则「字符串显示宽度」于（「反片段当前行文字」于「尾」）否则「备用缩进」）
      ）
      或有「罄」与「罄」则（「已匹配若则取行缩进」于「已匹配本行」于「当前行字符」于「备用缩进」）
也。

「排版状态相应若缩进」乃化「排版状态」而化「整数」而「整数」也。
「排版状态相应若缩进」者会「状态」而会「备用缩进」而
  「寻找相应若缩进于反片段」于（「排版状态片段」于「状态」）于「罄」于「罄」于「零」于「阴」于「备用缩进」
也。

「行宽缩进上限」乃化「整数」而「整数」也。
「行宽缩进上限」者会「最大行宽」而
  虑「候选」者「乘」于（「除以」于（「减」于「最大行宽」于「一零」）于「二」）于「二」而
  若「大于」于「候选」于「六零」则「六零」否则「候选」
也。

「排版状态写文本」乃化「排版状态」而化「字符串」而化「整数」而化「整数」而化「爻」而「排版状态」也。
「排版状态写文本」者会「状态」而会「文字」而会「缩进」而会「最大行宽」而会「可换行」而
  虑「虑缩进上限」者「行宽缩进上限」于「最大行宽」而
  虑「乃虑起」者「或者」于（「字符串相等吗」于「文字」于『虑』）
    于（「字符串相等吗」于「文字」于『递归虑』）而
  虑「实缩进」者若「且」于「乃虑起」
    于（「大于」于「缩进」于「虑缩进上限」）则
      「虑缩进上限」
  否则
    「缩进」而
  虑「已缩进状态」者「排版状态准备缩进」于「状态」于「实缩进」而
  虑「当前行缩进」者「排版状态当前行缩进」于「已缩进状态」而
  虑「乃单而行」者「字符串相等吗」于（「去行首空格」于（「反片段当前行文字」于（「排版状态片段」于「已缩进状态」）））于
  『而』而
  虑「末虑锚」者「排版状态末虑锚」于「已缩进状态」而
  虑「乃虑正文」者「且」于（「排版状态末片段为」于『而』于「已缩进状态」）
    于（「非」于（「小于」于「末虑锚」于「零」））
  而
  虑「实际换行缩进」者若「乃虑正文」则「末虑锚」否则若「乃单而行」则「当前行缩进」否则
    若「大于」于「当前行缩进」于「实缩进」则「当前行缩进」否则「实缩进」而
  虑「乃深起」者「且」于（「或者」于「乃虑起」于（「字符串相等吗」于「文字」于『于』））
    于（「大于」于（「排版状态当前列」于「已缩进状态」）于「虑缩进上限」）而
  若「且」于「可换行」于（「且」于（「大于」于（「排版状态当前列」于「已缩进状态」）于「实缩进」）
    于（「或者」于「乃深起」于（「大于」于（「加」于（「排版状态当前列」于「已缩进状态」）
            于（「字符串首行显示宽度」于「文字」））于「最大行宽」
      ）））
  则
    「排版状态追加」于（「排版状态准备缩进」于（「排版状态保证换行」于「已缩进状态」于「一」）于「实际换行缩进」）于
    「文字」
  否则
    「排版状态追加」于「已缩进状态」于「文字」
也。

「排版状态结果」乃化「排版状态」而「字符串」也。
「排版状态结果」者会「状态」而「串组合并」于（（「反转」授以「字符串」）于（「排版状态片段」于「状态」））也。

「取本声明反片段」乃化（「列」于「字符串」）而「列」于「字符串」也。
「取本声明反片段」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于『。』于「忽略尾」）则「罄」
    或有（「缀」于「片」于「尾」）则「缀」于「片」于（「取本声明反片段」于「尾」）
也。

「排版状态本声明文字」乃化「排版状态」而「字符串」也。
「排版状态本声明文字」者会「状态」而
  「串组合并」于（（「反转」授以「字符串」）于（「取本声明反片段」于（「排版状态片段」于「状态」）））
也。

「反片段本声明含」乃化「字符串」而化（「列」于「字符串」）而「爻」也。
「反片段本声明含」者会「目标」而会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于『。』于「忽略尾」）则「阴」
    或有（「缀」于「片」于「尾」）则
      若「字符串相等吗」于「片」于「目标」则「阳」否则「反片段本声明含」于「目标」于「尾」
也。

「排版状态本声明含」乃化「字符串」而化「排版状态」而「爻」也。
「排版状态本声明含」者会「目标」而会「状态」而
  「反片段本声明含」于「目标」于（「排版状态片段」于「状态」）
也。

「反片段本声明计数」乃化「字符串」而化（「列」于「字符串」）而「整数」也。
「反片段本声明计数」者会「目标」而会「片们」而
  鉴「片们」而
    有「罄」则「零」
    或有（「缀」于『。』于「忽略尾」）则「零」
    或有（「缀」于「片」于「尾」）则
      「加」于（若「是子字符串吗」于「目标」于「片」则「一」否则「零」）
        于（「反片段本声明计数」于「目标」于「尾」）
也。

「排版状态本声明计数」乃化「字符串」而化「排版状态」而「整数」也。
「排版状态本声明计数」者会「目标」而会「状态」而
  「反片段本声明计数」于「目标」于（「排版状态片段」于「状态」）
也。


「扫描源码标识符尾」乃化（「列」于「字符串」）而「列」于「字符串」也。
「扫描源码标识符尾」者会「字符们」而
  鉴「字符们」而
    有「罄」则「发生事故」于『布局扫描遇到未关闭的标识符』
    或有（「缀」于『」』于「尾」）则「尾」
    或有（「缀」于「忽略字符」于「尾」）则「扫描源码标识符尾」于「尾」
也。

「扫描源码转义尾」乃化（「列」于「字符串」）而「列」于「字符串」也。
「扫描源码转义尾」者会「字符们」而
  鉴「字符们」而
    有「罄」则「发生事故」于『布局扫描遇到未关闭的转义序列』
    或有（「缀」于『：』于（「缀」于『」』于「尾」））则「尾」
    或有（「缀」于「忽略字符」于「尾」）则「扫描源码转义尾」于「尾」
也。

「扫描源码字符串尾」乃化（「列」于「字符串」）而「列」于「字符串」也。
「扫描源码字符串尾」者会「字符们」而
  鉴「字符们」而
    有「罄」则「发生事故」于『布局扫描遇到未关闭的字符串』
    或有（「缀」于『「』于（「缀」于『：』于「尾」））则「扫描源码字符串尾」
      于（「扫描源码转义尾」于「尾」）
    或有（「缀」于『「：』：」』于「尾」）则「尾」
    或有（「缀」于「忽略字符」于「尾」）则「扫描源码字符串尾」于「尾」
也。

「扫描源码注释尾」乃化「整数」而化（「列」于「字符串」）而「列」于「字符串」也。
「扫描源码注释尾」者会「嵌套深度」而会「字符们」而
  鉴「字符们」而
    有「罄」则「发生事故」于『布局扫描遇到未关闭的注释』
    或有（「缀」于『「』于（「缀」于『：』于「尾」））则「扫描源码注释尾」
      于（「加」于「嵌套深度」于「一」）于「尾」
    或有（「缀」于『：』于（「缀」于『」』于「尾」））则
      若「等于」于「嵌套深度」于「零」则「尾」否则「扫描源码注释尾」
        于（「减」于「嵌套深度」于「一」）于「尾」
    或有（「缀」于「忽略字符」于「尾」）则「扫描源码注释尾」于「嵌套深度」于「尾」
也。

「源码空白结果」即（「列」于「字符串」）合「整数」合「整数」也。

「扫描源码空白」乃化（「列」于「字符串」）而化「整数」而化「整数」而化「爻」而「源码空白结果」也。
「扫描源码空白」者会「字符们」而会「换行数」而会「缩进」而会「已经换行」而
  鉴「字符们」而
    有（「缀」于『「：换行：」』于「尾」）则「扫描源码空白」于「尾」
      于（「加」于「换行数」于「一」）于「零」于「阳」
    或有（「缀」于『 』于「尾」）则「扫描源码空白」于「尾」于「换行数」
      于（若「已经换行」则「加」于「缩进」于「一」否则「缩进」）于「已经换行」
    或有（「缀」于『「：制表：」』于「尾」）则「扫描源码空白」于「尾」于「换行数」
      于（若「已经换行」则「加」于「缩进」于「二」否则「缩进」）于「已经换行」
    或有「其他」则「字符们」与「换行数」与「缩进」
也。

「取原文」乃化（「列」于「字符串」）而化（「列」于「字符串」）而「字符串」也。
「取原文」者会「始」而会「余」而
  「串组合并」于（（「取」授以「字符串」）于（「减」于（「长度」于「始」）于（「长度」于「余」））于「始」）
也。

「去回车后换行」乃化（「列」于「字符串」）而（「列」于「字符串」）也。
「去回车后换行」者会「字符们」而
  鉴「字符们」而
    有（「缀」于『「：换行：」』于「余」）则「余」
    或有「其他」则「字符们」
也。

「归一代码行尾片列」乃化（「列」于「字符串」）而（「列」于「字符串」）也。
「归一代码行尾片列」者会「字符们」而
  鉴「字符们」而
    有「罄」则「罄」
    或有（「缀」于『「』于（「缀」于『：』于「尾」））则（
      虑「余」者「扫描源码注释尾」于「零」于「尾」而
      「缀」于（「取原文」于「字符们」于「余」）于（「归一代码行尾片列」于「余」）
    ）
    或有（「缀」于『「』于「尾」）则（
      虑「余」者「扫描源码标识符尾」于「尾」而
      「缀」于（「取原文」于「字符们」于「余」）于（「归一代码行尾片列」于「余」）
    ）
    或有（「缀」于『『』于「尾」）则（
      虑「余」者「扫描源码字符串尾」于「尾」而
      「缀」于（「取原文」于「字符们」于「余」）于（「归一代码行尾片列」于「余」）
    ）
    或有（「缀」于「字符」于「尾」）则
      若「字符串相等吗」于「字符」于（「字节转字符串」于「一三」）则
        「缀」于『「：换行：」』于（「归一代码行尾片列」于（「去回车后换行」于「尾」））
      否则
        「缀」于「字符」于（「归一代码行尾片列」于「尾」）
也。

「归一代码行尾」乃化「字符串」而「字符串」也。
「归一代码行尾」者会「源码」而
  「串组合并」于（「归一代码行尾片列」于（「获取字符」于「源码」））
也。

「扫描源码布局」乃化（「列」于「字符串」）而「列」于「源码布局项」也。
「扫描源码布局」者会「字符们」而
  鉴「字符们」而
    有「罄」则「罄」
    或有（「缀」于『「』于（「缀」于『：』于「尾」））则
      「缀」于「源码词法位」于（「扫描源码布局」于（「扫描源码注释尾」于「零」于「尾」））
    或有（「缀」于『「』于「尾」）则（虑「余」者「扫描源码标识符尾」于「尾」而
                                      「缀」于（「源码原子位」于（「取原文」于「字符们」于「余」））
                                      于（「扫描源码布局」于「余」））
    或有（「缀」于『『』于「尾」）则（虑「余」者「扫描源码字符串尾」于「尾」而
                                      「缀」于（「源码原子位」于（「取原文」于「字符们」于「余」））
                                      于（「扫描源码布局」于「余」））
    或有（「缀」于『「：换行：」』于「忽略尾」）
    则（虑「结果」者「扫描源码空白」于「字符们」于「零」于「零」于「阴」
        而
        「缀」于（「源码换行位」于（「结果」中「一」）于（「结果」中「二」））
          于（「扫描源码布局」于（「结果」中「零」）））
    或有（「缀」于『 』于「忽略尾」）则（虑「结果」者「扫描源码空白」于「字符们」于「零」于「零」于「阴」而
                                         若「大于」于（「结果」中「一」）于「零」则「缀」
                                           于（「源码换行位」于（「结果」中「一」）于（「结果」中「二」））
                                           于（「扫描源码布局」于（「结果」中「零」））
                                         否则
                                           「扫描源码布局」于（「结果」中「零」））
    或有（「缀」于『「：制表：」』于「忽略尾」）
    则（虑「结果」者「扫描源码空白」于「字符们」于「零」于「零」于「阴」
        而
        若「大于」
          于（「结果」中「一」）于「零」则「缀」
          于（「源码换行位」于（「结果」中「一」）于（「结果」中「二」））
          于（「扫描源码布局」于（「结果」中「零」））
        否则
          「扫描源码布局」
          于（「结果」中「零」））
    或有（「缀」于「忽略字符」于「尾」）则「缀」于「源码词法位」
      于（「扫描源码布局」于「尾」）
也。

「弹而锚」乃化（「列」于「整数」）而「列」于「整数」也。
「弹而锚」者会「锚们」而鉴「锚们」而
  有（「缀」于「忽略锚」于「尾」）则「尾」
  或有「罄」则「罄」也。

「略过原文后列」乃化（「列」于「字符串」）而化（「列」于「字符串」）而化「整数」而「整数」也。
「略过原文后列」者会「始」而会「余」而会「当前列」而
  （「计算追加后行态」于（「获取字符」于（「取原文」于「始」于「余」））于「当前列」于「零」）中「零」
也。

「扫描待而锚缩进」乃化（「列」于「字符串」）而化「整数」而化（「列」于「整数」）而「整数」也。
「扫描待而锚缩进」者会「字符们」而会「当前列」而会「锚们」而
  鉴「字符们」而
    有「罄」则（鉴「锚们」而
    有（「缀」于「锚」于「忽略尾」）则「锚」
    或有「罄」则「减」于「零」于「一」）
    或有（「缀」于『「：换行：」』于「尾」）则「扫描待而锚缩进」于「尾」于「零」于「锚们」
    或有（「缀」于『「』于（「缀」于『：』于「尾」））
    则（虑「余」者「扫描源码注释尾」于「零」于「尾」而
        「扫描待而锚缩进」于「余」
        于（「略过原文后列」于「字符们」于「余」于「当前列」）于
        「锚们」
    ）
    或有（「缀」于『「』于「尾」）则（虑「余」者「扫描源码标识符尾」于「尾」而
                                      「扫描待而锚缩进」于「余」
                                      于（「略过原文后列」于「字符们」于「余」于「当前列」）于
                                      「锚们」
    ）
    或有（「缀」于『『』于「尾」）则（虑「余」者「扫描源码字符串尾」于「尾」而
                                      「扫描待而锚缩进」于「余」
                                      于（「略过原文后列」于「字符们」于「余」于「当前列」）于
                                      「锚们」
    ）
    或有（「缀」于『递』于（「缀」于『归』于（「缀」于『虑』于「尾」）））则
      「扫描待而锚缩进」于「尾」于（「加」于「当前列」于「六」）
        于（「缀」于「当前列」于「锚们」）
    或有（「缀」于『虑』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「缀」于「当前列」于「锚们」）
    或有（「缀」于『会』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『鉴』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『化』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『承』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『受』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「缀」于（「减」于「零」于「一」）于「锚们」）
    或有（「缀」于『而』于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于「二」）于（「弹而锚」于「锚们」）
    或有（「缀」于「字符」于「尾」）则「扫描待而锚缩进」于「尾」
      于（「加」于「当前列」于（「字符显示宽度」于「字符」））于
      「锚们」
也。

「排版状态待而锚缩进」乃化「排版状态」而「整数」也。
「排版状态待而锚缩进」者会「状态」而
  鉴（「排版状态而锚栈」于「状态」）而
    有（「缀」于「锚」于「忽略尾」）则「锚」
    或有「罄」则「减」于「零」于「一」
也。

「取词法头尾」乃化（「列」于「表达式」）而（「表达式」合（「列」于「表达式」））也。
「取词法头尾」者会「词法们」而
  鉴「词法们」而
    有（「缀」于「当前词法」于「词法尾」）则「当前词法」与「词法尾」
    或有「其他」则「发生事故」于『布局扫描产生了多余的词法位置』
也。

「结合源码布局与词法」乃化（「列」于「源码布局项」）而化（「列」于「表达式」）而「列」于「布局词法」也。
「结合源码布局与词法」者会「布局们」而会「词法们」而
  鉴「布局们」而
    有「罄」则若「等于」于（「长度」于「词法们」）于「零」则「罄」否则「发生事故」于『布局扫描遗漏了词法单元』
    或有（「缀」于（「源码换行位」于「换行数」于「缩进」）于「布局尾」）则
      「缀」于（「布局换行词法」于「换行数」于「缩进」）于（「结合源码布局与词法」于「布局尾」于「词法们」）
    或有（「缀」于「源码词法位」于「布局尾」）
    则（虑「词法头尾」者「取词法头尾」于「词法们」而
        「缀」于（「布局普通词法」于（「词法头尾」中「零」））
        于（「结合源码布局与词法」于「布局尾」于（「词法头尾」中「一」）））
    或有（「缀」于（「源码原子位」于「原文」）于「布局尾」）
    则（虑「词法头尾」者「取词法头尾」于「词法们」而
        「缀」
        于（「布局原子词法」于（「词法头尾」中「零」）于「原文」）
        于（「结合源码布局与词法」于「布局尾」于（「词法头尾」中「一」）））
也。

「普通词法转单片」乃化「表达式」而「单词法排版结果」也。
「普通词法转单片」者会「词法」而
  鉴「词法」而
    有（「自由变量」于「名称」）则「普通排版结果」于（「原子片」于（『「』附「名称」附『」』））
    或有（「式节点」于（「字符串节点」于「文字」）于「罄」）则「普通排版结果」
      于（「原子片」于（「表示串」于「文字」））
    或有（「式节点」于（「词法注释节点」于「文字」于「方向」）于「罄」）则「普通排版结果」
      于（「注释片」于「文字」于「方向」）
    或有（「式节点」于（「具体字符节点」于「字符」）于「罄」）则
      若「字符串相等吗」于「字符」于『（』则「左括号结果」
      否则若「字符串相等吗」于「字符」于『）』则「右括号结果」
      否则若「字符串相等吗」于「字符」于『【』则「左方括号结果」
      否则若「字符串相等吗」于「字符」于『】』则「右方括号结果」
      否则若「字符串相等吗」于「字符」于『。』则「普通排版结果」于「句号片」
      否则若「字符串相等吗」于「字符」于『；』则「普通排版结果」于「分号片」
      否则
        「普通排版结果」于（「文字片」于「字符」）
    或有「其他」则「发生事故」于『排版时遇到未知词法节点』
也。

「词法转单片」乃化「布局词法」而「单词法排版结果」也。
「词法转单片」者会「词法」而
  鉴「词法」而
    有「布局换行词法」于「换行数」于「缩进」则「普通排版结果」
      于（「原换行片」于「换行数」于「缩进」）
    或有「布局原子词法」于「忽略词法」于「原文」则「普通排版结果」
      于（「原子片」于「原文」）
    或有「布局普通词法」于「普通词法」则「普通词法转单片」于「普通词法」
也。

「移除片列末尾原换行」乃化（「列」于「排版片」）而「列」于「排版片」也。
「移除片列末尾原换行」者会「片们」而
  鉴（（「反转」授以「排版片」）于「片们」）而
    有（「缀」于（「原换行片」于「忽略换行数」于「忽略缩进」）
      于（「缀」于（「注释片」于「忽略文字」于「忽略方向」）于「忽略尾」））则「片们」
    或有（「缀」于（「原换行片」于「忽略换行数」于「忽略缩进」）于「反尾」）则（「反转」授以「排版片」）于「反尾」
    或有「其他」则「片们」
也。

「片列尾注释换行」乃化（「列」于「排版片」）而「爻」也。
「片列尾注释换行」者会「片们」而
  鉴（（「反转」授以「排版片」）于「片们」）而
    有（「缀」于（「原换行片」于「忽略换行数」于「忽略缩进」）
      于（「缀」于（「注释片」于「忽略文字」于「忽略方向」）于「忽略尾」））则「阳」
    或有「其他」则「阴」
也。

「词法转排版片列内部」乃化（「列」于「布局词法」）而化「整数」而（（「列」于「排版片」）合（「列」于「布局词法」））也。
「词法转排版片列内部」者会「词法列」而会「待闭类型」而
  鉴「词法列」而
    有「罄」则（若「大于」于「待闭类型」于「零」则「发生事故」于『排版时遇到未关闭的括号』否则「罄」与「罄」）
    或有（「缀」于「当前」于「尾」）则（鉴「词法转单片」于「当前」而
      有「左括号结果」则（虑「内结果」者「词法转排版片列内部」于「尾」于「一」而
                          虑「尾结果」者「词法转排版片列内部」
                          于（「内结果」中「一」）于「待闭类型」而
                          （「缀」于（「括号片」于（「移除片列末尾原换行」于（「内结果」中「零」）））
                          于（「尾结果」中「零」））与
        （「尾结果」中「一」））
      或有「右括号结果」则（若「等于」于「待闭类型」于「一」则「罄」与「尾」否则「发生事故」于『排版时遇到多余的右括号』）
      或有「左方括号结果」则（虑「内结果」者「词法转排版片列内部」于「尾」于「二」而
                            虑「尾结果」者「词法转排版片列内部」于（「内结果」中「一」）于「待闭类型」而
                            （「缀」于（「方括号片」于（「移除片列末尾原换行」于（「内结果」中「零」）））
                              于（「尾结果」中「零」））与（「尾结果」中「一」））
      或有「右方括号结果」则（若「等于」于「待闭类型」于「二」则「罄」与「尾」否则「发生事故」于『排版时遇到多余的右方括号』）
      或有「普通排版结果」于「片」则（虑「尾结果」者「词法转排版片列内部」于「尾」于「待闭类型」而
                                      （「缀」于「片」于（「尾结果」中「零」））与（「尾结果」中「一」）））
也。

「词法转排版片列」乃化（「列」于「布局词法」）而「列」于「排版片」也。
「词法转排版片列」者会「词法列」而
  虑「结果」者「词法转排版片列内部」于「词法列」于「零」而
  鉴（「结果」中「一」）而
    有「罄」则（「结果」中「零」）
    或有「其他」则「发生事故」于『排版后仍有未读取的词法单元』
也。

「合并相邻文字片内部」乃化「字符串」而化（「列」于「排版片」）而化（「列」于「排版片」）而「列」于「排版片」也。
「合并相邻文字片内部」者会「待合并文字」而会「反结果」而会「剩余片」而
  鉴「剩余片」而
    有「罄」则（虑「最终反结果」者若「字符串相等吗」于「待合并文字」于『』
    则
      「反结果」
    否则
      「缀」于（「文字片」于「待合并文字」）于「反结果」
                而
                （「反转」授以「排版片」）于「最终反结果」
    ）
    或有（「缀」于「当前」于「尾」）则（鉴「当前」而
      有「文字片」于「文字」则「合并相邻文字片内部」于（「待合并文字」附「文字」）于「反结果」于「尾」
      或有「括号片」于「内片」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                                  而
                                  虑「新内片」者「合并相邻文字片内部」于『』于「罄」于「内片」而
                                  「合并相邻文字片内部」于『』
                                      于（「缀」于（「括号片」于「新内片」）于「已刷新结果」）于
                                      「尾」
      ）
      或有「方括号片」于「内片」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                                  而
                                  虑「新内片」者「合并相邻文字片内部」于『』于「罄」于「内片」而
                                  「合并相邻文字片内部」于『』
                                      于（「缀」于（「方括号片」于「新内片」）于「已刷新结果」）于「尾」
      ）
      或有「原子片」于「文字」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                                  而
                                  「合并相邻文字片内部」于『』
                                    于（「缀」于（「原子片」于「文字」）于「已刷新结果」）于
                                    「尾」
      ）
      或有「句号片」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                        而
                        「合并相邻文字片内部」于『』于（「缀」于「句号片」于「已刷新结果」）于「尾」
      ）
      或有「分号片」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                        而
                        「合并相邻文字片内部」于『』于（「缀」于「分号片」于「已刷新结果」）于「尾」
      ）
      或有「注释片」于「文字」于「方向」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                                            而
                                            「合并相邻文字片内部」于『』
                                              于（「缀」于（「注释片」于「文字」于「方向」）于「已刷新结果」）于「尾」
      ）
      或有「原换行片」于「换行数」于「缩进」
      则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
          而
          「合并相邻文字片内部」于『』
            于（「缀」于（「原换行片」于「换行数」于「缩进」）于「已刷新结果」）于
            「尾」
      ）
      或有「构造器缩进片」则（虑「已刷新结果」者若「字符串相等吗」于「待合并文字」于『』
      则
        「反结果」
      否则
        「缀」于（「文字片」于「待合并文字」）于「反结果」
                              而
                              「合并相邻文字片内部」于『』于（「缀」于「构造器缩进片」于「已刷新结果」）于「尾」
      ））
也。

「合并相邻文字片」乃化（「列」于「排版片」）而「列」于「排版片」也。
「合并相邻文字片」者会「片们」而
  「合并相邻文字片内部」于『』于「罄」于「片们」
也。

「单片含立」乃化「排版片」而「爻」也。
「单片含立」者会「片」而
  鉴「片」而
    有「文字片」于「文字」则「是子字符串吗」于『立』于「文字」
    或有「其他」则「阴」
也。

「声明片含立」乃化（「列」于「排版片」）而「爻」也。
「声明片含立」者会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于「当前」于「尾」）则
      若「单片含立」于「当前」则「阳」否则「声明片含立」于「尾」
也。

「单片为元类型」乃化「排版片」而「爻」也。
「单片为元类型」者会「片」而
  鉴「片」而
    有「原子片」于「文字」则「字符串相等吗」于「文字」于『「元类型」』
    或有「其他」则「阴」
也。

「声明片含元类型」乃化（「列」于「排版片」）而「爻」也。
「声明片含元类型」者会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于「当前」于「尾」）则
      若「单片为元类型」于「当前」则「阳」否则「声明片含元类型」于「尾」
也。

「单片为句号」乃化「排版片」而「爻」也。
「单片为句号」者会「片」而鉴「片」而
  有「句号片」则「阳」
  或有「其他」则「阴」也。

「取首声明片」乃化（「列」于「排版片」）而（（「列」于「排版片」）合（「列」于「排版片」））也。
「取首声明片」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」与「罄」
    或有（「缀」于「当前」于「尾」）则
      若「单片为句号」于「当前」
      则
        （「列」【「句号片」】）与「尾」
      否则
        （虑「余」者「取首声明片」于「尾」而（「缀」于「当前」于（「余」中「零」））与（「余」中「一」））
也。

「取同层调用尾」乃化（「列」于「排版片」）而「列」于「排版片」也。
「取同层调用尾」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于「句号片」于「忽略尾」）则「罄」
    或有（「缀」于「分号片」于「忽略尾」）则「罄」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「或者」于（「字符串相等吗」于「文字」于『而』）
        于（「或者」于（「字符串相等吗」于「文字」于『则』）
          于（「或者」于（「字符串相等吗」于「文字」于『否则』）
            于（「或者」于（「字符串相等吗」于「文字」于『否则若』）
            于（「或者」于（「字符串相等吗」于「文字」于『也』）
              于（「或者」于（「字符串相等吗」于「文字」于『，』）
                于（「或者」于（「字符串相等吗」于「文字」于『】』）
                  于（「字符串相等吗」于「文字」于『与』）））））））则「罄」否则
        「缀」于（「文字片」于「文字」）于（「取同层调用尾」于「尾」）
    或有（「缀」于「首」于「尾」）则「缀」于「首」于（「取同层调用尾」于「尾」）
也。

「取当前模式分支体」乃化（「列」于「排版片」）而（「列」于「排版片」）也。
「取当前模式分支体」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于「句号片」于「忽略尾」）则「罄」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「或者」于（「字符串相等吗」于「文字」于『有』）
        于（「或者」于（「字符串相等吗」于「文字」于『或有』）
          于（「字符串相等吗」于「文字」于『也』））
      则「罄」否则「缀」于（「文字片」于「文字」）于（「取当前模式分支体」于「尾」）
    或有（「缀」于「首」于「尾」）则「缀」于「首」于（「取当前模式分支体」于「尾」）
也。

「取否则后尾」乃化（「列」于「排版片」）而（「列」于「排版片」）也。
「取否则后尾」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于「句号片」于「忽略尾」）则「罄」
    或有（「缀」于（「文字片」于『否则』）于「尾」）则「尾」
    或有（「缀」于（「文字片」于『否则若』）于「尾」）则「尾」
    或有（「缀」于「忽略首」于「尾」）则「取否则后尾」于「尾」
也。

「片列文字计数」乃化「字符串」而化（「列」于「排版片」）而「整数」也。
「片列文字计数」者会「目标」而会「片们」而
  鉴「片们」而
    有「罄」则「零」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      「加」于（若「是子字符串吗」于「目标」于「文字」则「一」否则「零」）
        于（「片列文字计数」于「目标」于「尾」）
    或有（「缀」于「忽略首」于「尾」）则「片列文字计数」于「目标」于「尾」
也。

「片列含复合列表项」乃化（「列」于「排版片」）而「爻」也。
「片列含复合列表项」者会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于（「括号片」于「忽略内片」）于「忽略尾」）则「阳」
    或有（「缀」于（「方括号片」于「忽略内片」）于「忽略尾」）则「阳」
    或有（「缀」于（「文字片」于『于』）于「忽略尾」）则「阳」
    或有（「缀」于「忽略首」于「尾」）则「片列含复合列表项」于「尾」
也。


「排版片列相接」乃化（「列」于「排版片」）而化（「列」于「排版片」）而「列」于「排版片」也。
「排版片列相接」者会「甲」而会「乙」而
  鉴「甲」而
    有「罄」则「乙」
    或有（「缀」于「首」于「尾」）则「缀」于「首」于（「排版片列相接」于「尾」于「乙」）
也。

「文字片接若有」乃化「字符串」而化（「列」于「排版片」）而「列」于「排版片」也。
「文字片接若有」者会「文字」而会「尾」而
  若「字符串相等吗」于「文字」于『』则「尾」否则「缀」于（「文字片」于「文字」）于「尾」
也。

「乃而锚开闭字符」乃化「字符串」而「爻」也。
「乃而锚开闭字符」者会「字符」而
  「或者」于（「字符串相等吗」于「字符」于『虑』）于（「或者」
    于（「字符串相等吗」于「字符」于『会』）于（「或者」于（「字符串相等吗」于「字符」于『若』）
      于（「或者」于（「字符串相等吗」于「字符」于『化』）
        于（「或者」于（「字符串相等吗」于「字符」于『承』）于（「或者」
            于（「字符串相等吗」于「字符」于『受』）于（「字符串相等吗」于「字符」于『而』））））））
也。

「拆模式文字字符」乃化「字符串」而化（「列」于「字符串」）而「列」于「排版片」也。
「拆模式文字字符」者会「已有」而会「字符们」而
  鉴「字符们」而
    有「罄」则「文字片接若有」于「已有」于「罄」
    或有（「缀」于『否』于（「缀」于『则』于（「缀」于『若』于「尾」）））则
      「文字片接若有」于「已有」于（「缀」于（「文字片」于『否则若』）于（「拆模式文字字符」于『』于「尾」））
    或有（「缀」于『递』于（「缀」于『归』于（「缀」于『虑』于「尾」）））则
      「文字片接若有」于「已有」于（「缀」于（「文字片」于『递归虑』）于（「拆模式文字字符」于『』于「尾」））
    或有（「缀」于『或』于（「缀」于『有』于「尾」））则
      「文字片接若有」于「已有」于（「缀」于（「文字片」于『或有』）于（「拆模式文字字符」于『』于「尾」））
    或有（「缀」于『而』于（「缀」于『有』于「尾」））则
      「文字片接若有」于「已有」于（「缀」于（「文字片」于『而有』）于（「拆模式文字字符」于『』于「尾」））
    或有（「缀」于『鉴』于「尾」）则
      「文字片接若有」于「已有」于（「缀」于（「文字片」于『鉴』）于（「拆模式文字字符」于『』于「尾」））
    或有（「缀」于「字符」于「尾」）则
      若「乃而锚开闭字符」于「字符」
      则
        「文字片接若有」于「已有」于（「缀」于（「文字片」于「字符」）于（「拆模式文字字符」于『』于「尾」））
      否则
        「拆模式文字字符」于（「已有」附「字符」）于「尾」
也。

「拆模式文字片列」乃化（「列」于「排版片」）而「列」于「排版片」也。
「拆模式文字片列」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      「排版片列相接」于（「拆模式文字字符」于『』于（「获取字符」于「文字」））
        于（「拆模式文字片列」于「尾」）
    或有（「缀」于（「括号片」于「内片」）于「尾」）则
      「缀」于（「括号片」于（「拆模式文字片列」于「内片」））
        于（「拆模式文字片列」于「尾」）
    或有（「缀」于（「方括号片」于「内片」）于「尾」）则
      「缀」于（「方括号片」于（「拆模式文字片列」于「内片」））
        于（「拆模式文字片列」于「尾」）
    或有（「缀」于「首」于「尾」）则「缀」于「首」于（「拆模式文字片列」于「尾」）
也。

「标注构造器缩进」乃化「爻」而化（「列」于「排版片」）而「列」于「排版片」也。
「标注构造器缩进」者会「在构造器组」而会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于（「原换行片」于「换行数」于「缩进」）于「尾」）则
      「缀」于（「原换行片」于「换行数」于「缩进」）于（「标注构造器缩进」于「在构造器组」于「尾」）
    或有（「缀」于（「注释片」于「文字」于「方向」）于「尾」）则
      「缀」于（「注释片」于「文字」于「方向」）于（「标注构造器缩进」于「在构造器组」于「尾」）
    或有「其他」则（虑「分声明」者「取首声明片」于「片们」而
                    虑「声明」者「分声明」中「零」而
                    虑「余片」者「分声明」中「一」而
                    虑「乃立声明」者「声明片含立」于「声明」而
                    虑「乃元类型声明」者「且」于「乃立声明」于（「声明片含元类型」于「声明」）而
                    虑「乃构造器声明」者「且」于「在构造器组」
                    于（「且」于「乃立声明」于（「非」于「乃元类型声明」））而
                    虑「后组态」者「乃立声明」而
                    虑「已标注声明」者若「乃构造器声明」则「缀」于「构造器缩进片」于「声明」否则「声明」而
                    「排版片列相接」于「已标注声明」于（「标注构造器缩进」于「后组态」于「余片」））
也。

「排版片列扁平长度」乃化（「列」于「排版片」）而「整数」也。
「排版片列扁平长度」者会「片们」而
  虑「递归」者「排版片列扁平长度」而
  鉴「片们」而
    有「罄」则「零」
    或有（「缀」于「首」于「尾」）则
      虑「首长度」者鉴「首」而
        有「文字片」于「文字」则（「字符串显示宽度」于「文字」）
        或有「原子片」于「文字」则（「字符串显示宽度」于「文字」）
        或有「括号片」于「内片」则（虑「内长度」者「递归」于「内片」而
                                    若「小于」于「内长度」于「零」则「减」于「零」于「一」否则「加」
                                    于（「乘」于「二」于「二」）于
                                    「内长度」
        ）
        或有「方括号片」于「内片」则（虑「内长度」者「递归」于「内片」而
                                    若「小于」于「内长度」于「零」则「减」于「零」于「一」否则「加」
                                    于（「乘」于「二」于「二」）于「内长度」）
        或有「句号片」则（「二」）
        或有「分号片」则（「减」于「零」于「一」）
        或有「注释片」于「忽略文字」于「忽略方向」则（「减」于「零」于「一」）
        或有「原换行片」于「忽略换行数」于「忽略缩进」则「零」
        或有「构造器缩进片」则「零」
      而
      虑「尾长度」者「递归」于「尾」而
      若「或者」于（「小于」于「首长度」于「零」）于（「小于」于「尾长度」于「零」）
      则
        「减」于「零」于「一」
      否则
        「加」于「首长度」于「尾长度」
也。

「片列首为后置注释」乃化（「列」于「排版片」）而「爻」也。
「片列首为后置注释」者会「片们」而
  鉴「片们」而
    有（「缀」于（「注释片」于「忽略文字」于「后置注释」）于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列首为注释」乃化（「列」于「排版片」）而「爻」也。
「片列首为注释」者会「片们」而
  鉴「片们」而
    有（「缀」于（「注释片」于「忽略文字」于「忽略方向」）于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列首为导入」乃化（「列」于「排版片」）而「爻」也。
「片列首为导入」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原换行片」于「忽略换行数」于「忽略缩进」）于「尾」）则
      「片列首为导入」于「尾」
    或有（「缀」于（「文字片」于「文字」）于「忽略尾」）则
      「或者」于（「串开头是它吗」于『寻』于「文字」）
        于（「或者」于（「串开头是它吗」于『观』于「文字」）
          于（「串开头是它吗」于『诵』于「文字」））
    或有「其他」则「阴」
也。

「片列单换行后为注释」乃化（「列」于「排版片」）而「爻」也。
「片列单换行后为注释」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原换行片」于「一」于「忽略缩进」）于「尾」）则「片列首为注释」于「尾」
    或有「其他」则「阴」
也。

「片列首为结束符」乃化（「列」于「排版片」）而「爻」也。
「片列首为结束符」者会「片们」而
  鉴「片们」而
    有（「缀」于「句号片」于「忽略尾」）则「阳」
    或有（「缀」于「分号片」于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列首为分号」乃化（「列」于「排版片」）而「爻」也。
「片列首为分号」者会「片们」而
  鉴「片们」而
    有（「缀」于「分号片」于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列首为括号」乃化（「列」于「排版片」）而「爻」也。
「片列首为括号」者会「片们」而
  鉴「片们」而
    有（「缀」于（「括号片」于「忽略内片」）于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列首括号扁平长度」乃化（「列」于「排版片」）而「整数」也。
「片列首括号扁平长度」者会「片们」而
  鉴「片们」而
    有（「缀」于（「括号片」于「内片」）于「忽略尾」）则「排版片列扁平长度」于「内片」
    或有「其他」则「减」于「零」于「一」
也。

「去片列首原换行」乃化（「列」于「排版片」）而（「列」于「排版片」）也。
「去片列首原换行」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原换行片」于「忽略换行数」于「忽略缩进」）于「尾」）则「尾」
    或有「其他」则「片们」
也。

「片列首为原换行」乃化（「列」于「排版片」）而「爻」也。
「片列首为原换行」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原换行片」于「忽略换行数」于「忽略缩进」）于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列为空」乃化（「列」于「排版片」）而「爻」也。
「片列为空」者会「片们」而鉴「片们」而
  有「罄」则「阳」
  或有「其他」则「阴」也。

「片列首文字为」乃化「字符串」而化（「列」于「排版片」）而「爻」也。
「片列首文字为」者会「目标」而会「片们」而
  鉴「片们」而
    有（「缀」于（「文字片」于「文字」）于「忽略尾」）则「字符串相等吗」于「目标」于「文字」
    或有「其他」则「阴」
也。

「应闭合局部条件」乃化「排版状态」而化（「列」于「排版片」）而化「爻」而「爻」也。
「应闭合局部条件」者会「状态」而会「尾」而会「强制平铺」而
  「且」于（「非」于「强制平铺」）
    于（「且」于（「大于」于（「排版状态当前行缩进」于「状态」）于「四」）
      于（「且」于（「排版状态本声明含」于『虑』于「状态」）
        于（「且」于（「排版状态本声明含」于『否则』于「状态」）
          于（「或者」于（「片列首文字为」于『虑』于（「去片列首原换行」于「尾」））
            于（「片列首文字为」于『若』于（「去片列首原换行」于「尾」））））））
也。

「函数头参数数与递归体」乃化（「列」于「排版片」）而（「整数」合「爻」）也。
「函数头参数数与递归体」者会「片们」而
  鉴「片们」而
    有「罄」则「零」与「阴」
    或有（「缀」于（「原换行片」于「忽略换行」于「忽略缩进」）于「尾」）则
      「函数头参数数与递归体」于「尾」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「或者」于（「字符串相等吗」于「文字」于『会』）于（「字符串相等吗」于「文字」于『受』）则
        虑「其余」者「函数头参数数与递归体」于「尾」而
        （「加」于「一」于（「其余」中「零」））与（「其余」中「一」）
      否则若「字符串相等吗」于「文字」于『而』则
        若「或者」于（「片列首文字为」于『会』于（「去片列首原换行」于「尾」））
          于（「片列首文字为」于『受』于（「去片列首原换行」于「尾」））
        则「函数头参数数与递归体」于「尾」
        否则「零」与（「片列首文字为」于『递归虑』于（「去片列首原换行」于「尾」））
      否则「零」与「阴」
    或有（「缀」于（「原子片」于「忽略原子」）于「尾」）则「函数头参数数与递归体」于「尾」
    或有「其他」则「零」与「阴」
也。

「函数头参数片宽」乃化（「列」于「排版片」）而「整数」也。
「函数头参数片宽」者会「片们」而
  鉴「片们」而
    有「罄」则「零」
    或有（「缀」于（「原换行片」于「忽略换行」于「忽略缩进」）于「尾」）则
      「函数头参数片宽」于「尾」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「或者」于（「字符串相等吗」于「文字」于『会』）于（「字符串相等吗」于「文字」于『受』）则
        「加」于（「字符串显示宽度」于「文字」）于（「函数头参数片宽」于「尾」）
      否则若「字符串相等吗」于「文字」于『而』则
        若「或者」于（「片列首文字为」于『会』于（「去片列首原换行」于「尾」））
          于（「片列首文字为」于『受』于（「去片列首原换行」于「尾」））
        则「加」于「二」于（「函数头参数片宽」于「尾」）否则「二」
      否则「零」
    或有（「缀」于（「原子片」于「文字」）于「尾」）则
      「加」于（「字符串显示宽度」于「文字」）于（「函数头参数片宽」于「尾」）
    或有「其他」则「零」
也。

「片列首为虑括号」乃化（「列」于「排版片」）而「爻」也。
「片列首为虑括号」者会「片们」而
  鉴「片们」而
    有（「缀」于（「括号片」于「内片」）于「忽略尾」）则
      「或者」于（「片列首文字为」于『虑』于「内片」）于（「片列首文字为」于『递归虑』于「内片」）
    或有「其他」则「阴」
也。

「片列同层含或有」乃化（「列」于「排版片」）而「爻」也。
「片列同层含或有」者会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于「句号片」于「忽略尾」）则「阴」
    或有（「缀」于「分号片」于「忽略尾」）则「阴」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「字符串相等吗」于「文字」于『或有』则「阳」否则「片列同层含或有」于「尾」
    或有（「缀」于「忽略首」于「尾」）则「片列同层含或有」于「尾」
也。

「片列同层含分号」乃化（「列」于「排版片」）而「爻」也。
「片列同层含分号」者会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于「分号片」于「忽略尾」）则「阳」
    或有（「缀」于「忽略首」于「尾」）则「片列同层含分号」于「尾」
也。

「片列同层含两个若」乃化「爻」而化（「列」于「排版片」）而「爻」也。
「片列同层含两个若」者会「已见若」而会「片们」而
  鉴「片们」而
    有「罄」则「阴」
    或有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「是子字符串吗」于『若』于「文字」则
        若「已见若」则「阳」否则「片列同层含两个若」于「阳」于「尾」
      否则「片列同层含两个若」于「已见若」于「尾」
    或有（「缀」于「忽略首」于「尾」）则「片列同层含两个若」于「已见若」于「尾」
也。

「片列首原子为」乃化「字符串」而化（「列」于「排版片」）而「爻」也。
「片列首原子为」者会「目标」而会「片们」而
  鉴「片们」而
    有（「缀」于（「原子片」于「文字」）于「忽略尾」）则「字符串相等吗」于「目标」于「文字」
    或有「其他」则「阴」
也。

「片列首为原子」乃化（「列」于「排版片」）而「爻」也。
「片列首为原子」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原子片」于「忽略文字」）于「忽略尾」）则「阳」
    或有「其他」则「阴」
也。

「片列首原子是跨行字符串」乃化（「列」于「排版片」）而「爻」也。
「片列首原子是跨行字符串」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原子片」于「文字」）于「忽略尾」）则
      「且」于（「串开头是它吗」于『『』于「文字」）
        于（「是子字符串吗」于『「：换行：」』于「文字」）
    或有「其他」则「阴」
也。

「合注释后而字」乃化（「列」于「排版片」）而（「列」于「排版片」）也。
「合注释后而字」者会「片们」而
  鉴「片们」而
    有（「缀」于（「原换行片」于「换行数」于「忽略缩进」）于「尾」）则
      若「且」于（「等于」于「换行数」于「一」）于（「或者」于（「片列首文字为」于『而』于「尾」）
        于（「片列首文字为」于『而化』于「尾」））
      则
        「尾」
      否则
        「片们」
    或有「其他」则「片们」
也。

「合类型链末也」乃化（「列」于「排版片」）而（「列」于「排版片」）也。
「合类型链末也」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于「句号片」于「忽略尾」）则「片们」
    或有（「缀」于（「原换行片」于「换行数」于「缩进」）于「尾」）则
      若「片列首文字为」于『也』于「尾」则「尾」否则
        「缀」于（「原换行片」于「换行数」于「缩进」）于（「合类型链末也」于「尾」）
    或有（「缀」于「首」于「尾」）则「缀」于「首」于（「合类型链末也」于「尾」）
也。

「取片列首而字」乃化（「列」于「排版片」）而（「爻」合（「列」于「排版片」））也。
「取片列首而字」者会「片们」而
  鉴「片们」而
    有（「缀」于（「文字片」于「文字」）于「尾」）则
      若「字符串相等吗」于「文字」于『而』则「阳」与「尾」否则
        若「字符串相等吗」于「文字」于『而化』则「阳」与（「缀」于（「文字片」于『化』）于「尾」）否则
          「阴」与「片们」
    或有「其他」则「阴」与「片们」
也。

「为结束符预留行宽」乃化「整数」而化（「列」于「排版片」）而「整数」也。
「为结束符预留行宽」者会「最大行宽」而会「尾」而
  若「片列首为结束符」于「尾」则「减」于「最大行宽」于「二」否则「最大行宽」
也。

「排版片起始缩进」乃化「排版状态」而化「整数」而化「整数」而「整数」也。
「排版片起始缩进」者会「状态」而会「当前缩进」而会「续行缩进」而
  若「等于」于（「排版状态当前列」于「状态」）于「零」则「当前缩进」否则「续行缩进」
也。

「理句号后换行」乃化「排版状态」而化（「列」于「排版片」）而（「排版状态」合（「列」于「排版片」））也。
「理句号后换行」者会「句号状态」而会「尾」而
  鉴「尾」而
    有（「缀」于（「原换行片」于「换行数」于「忽略原缩进」）于「后尾」）
    则（虑「实际换行数」者若「大于」于「换行数」于
      「二」则「二」
    否则
      「换行数」而
        （「排版状态清空缩进栈」于（「排版状态保证换行」于「句号状态」于「实际换行数」））与「后尾」
    ）
    或有「其他」则（虑「换行后状态」者若「片列首为后置注释」于「尾」则「句号状态」否则「排版状态保证换行」于
        「句号状态」于
        「一」而
                    （「排版状态清空缩进栈」于「换行后状态」）与「尾」
    ）
也。

「最大合法缩进」乃化「整数」而「整数」也。
「最大合法缩进」者会「最大行宽」而
  「行宽缩进上限」于「最大行宽」
也。

「下一层缩进」乃化「整数」而化「整数」而「整数」也。
「下一层缩进」者会「当前缩进」而会「最大行宽」而
  虑「候选缩进」者「加」于「当前缩进」于「二」而
  虑「最大缩进」者「最大合法缩进」于「最大行宽」而
  若「大于」于「候选缩进」于「最大缩进」则「最大缩进」否则「候选缩进」
也。

「限制原缩进」乃化「整数」而化「整数」而「整数」也。
「限制原缩进」者会「原缩进」而会「最大行宽」而
  虑「规范缩进」者「乘」于（「除以」于（「加」于「原缩进」于「一」）于「二」）于「二」而
  虑「最大缩进」者「最大合法缩进」于「最大行宽」而
  若「大于」于「规范缩进」于「最大缩进」则「最大缩进」否则「规范缩进」
也。

「缩进栈退至」乃化「整数」而化（「列」于「缩进层」）而化「爻」而（（「列」于「缩进层」）合「爻」）也。
「缩进栈退至」者会「原缩进」而会「缩进栈」而会「已退层」而
  鉴「缩进栈」而
    有「罄」则「罄」与「已退层」
    或有（「缀」于「层」于「尾」）则
      若「大于」于（「层」中「零」）于「原缩进」
      则
        「缩进栈退至」于「原缩进」于「尾」于「阳」
      否则
        「缩进栈」与「已退层」
也。

「计算原换行缩进」乃化「整数」 「：当前结构缩进：」而
  化「整数」 「：括号结构下限：」而
  化「整数」 「：最大行宽：」而
  化「爻」 「：是否已由排版器换行：」而
  化「整数」 「：规范原缩进：」而
  化（「列」于「缩进层」）而（「整数」合（「列」于「缩进层」））也。
「计算原换行缩进」者会「当前缩进」而会「结构缩进」而会「最大行宽」而会「已有格式换行」而会「规范原缩进」而会「原缩进栈」
而
虑「退层结果」者「缩进栈退至」于「规范原缩进」于「原缩进栈」于「阴」而
虑「可用缩进栈」者「退层结果」中「零」而
虑「已退层」者「退层结果」中「一」而
鉴「可用缩进栈」而
  有「罄」则（虑「实际缩进」者「限制原缩进」于「规范原缩进」于「最大行宽」而
              「实际缩进」与（「列」【（「规范原缩进」与「实际缩进」）】））
  或有（「缀」于「上层」于「尾」）则（虑「上层原缩进」者「上层」中「零」而
                                      虑「上层实际缩进」者「上层」中「一」而
                                      虑「候选缩进」者若「等于」于
                                      「规范原缩进」于「上层原缩进」则「上层实际缩进」否则若「已退层」则
                                        「下一层缩进」于「上层实际缩进」于「最大行宽」否则若
    「已有格式换行」则（若「大于」于「当前缩进」于「上层实际缩进」则「当前缩进」否则「上层实际缩进」）
                                        否则
                                          （虑「原递增」者「减」于「规范原缩进」于「上层原缩进」而若「大于」于「原递增」
                                              于（「乘」于「二」于「二」）
                                          则
                                            （虑「较深基准」者若「大于」于「当前缩进」于「上层实际缩进」则「当前缩进」
                                            否则
                                              「上层实际缩进」而「下一层缩进」于「较深基准」于「最大行宽」
                                            ）
                                          否则
                                            「下一层缩进」于「上层实际缩进」于「最大行宽」
                                          ）而虑「受限候选缩进」者「限制原缩进」于「候选缩进」于「最大行宽」而
                                              虑「结构修正上限」者「下一层缩进」
                                                于（「下一层缩进」于「受限候选缩进」于「最大行宽」）于「最大行宽」而
                                              虑「结构修正缩进」者若「大于」于「结构缩进」于「结构修正上限」
                                              则
                                                「结构修正上限」
                                              否则
                                                「结构缩进」而
                                              虑「实际缩进」者若「大于」于「结构修正缩进」于「受限候选缩进」则
                                                  「结构修正缩进」
                                              否则
                                                「受限候选缩进」而「实际缩进」与（「缀」
                                                    于（「规范原缩进」与「实际缩进」）于「可用缩进栈」
                                                ））
也。

「方括号项换行」乃化（「列」于「排版片」）而（「列」于「排版片」）也。
「方括号项换行」者会「片们」而
  鉴「片们」而
    有「罄」则「罄」
    或有（「缀」于（「原换行片」于「忽略数」于「忽略缩进」）于「尾」）则
      「方括号项换行」于「尾」
    或有（「缀」于（「文字片」于『，』）于「尾」）则
      「缀」于（「文字片」于『，』）
        于（「缀」于（「原换行片」于「一」于「零」）于（「方括号项换行」于「尾」））
    或有（「缀」于「首」于「尾」）则「缀」于「首」于（「方括号项换行」于「尾」）
也。

「排版文字片一步」乃化「排版状态」而化「字符串」而化（「列」于「排版片」）而
  化「整数」而化「整数」而化「整数」而化「整数」而化「爻」而化「整数」而「文字排版步」也。
「排版文字片一步」者会「状态」而会「文字」而会「尾」而会「当前缩进」而会「续行缩进」而
  会「结构缩进」而会「最大行宽」而会「强制平铺」而会「模式分支缩进」而
虑「乃鉴字」者「或者」于（「字符串相等吗」于「文字」于『鉴』）
          于（「字符串相等吗」于「文字」于『而鉴』）而
                                  虑「乃而有字」者「且」于（「非」于（「小于」于「模式分支缩进」于「零」））
                                  于（「字符串相等吗」于「文字」于『而有』）而
                                  虑「乃模式分支」者「且」于（「非」于（「小于」于「模式分支缩进」于「零」））
                                  于（「或者」于（「字符串相等吗」于「文字」于『有』）
                                  于（「或者」于（「字符串相等吗」于「文字」于『或有』）于「乃而有字」））
                                  而
                                  虑「分而状态」者若「乃而有字」则「排版状态追加」于「状态」于『而』否则
                                    「状态」而
                                  虑「乃条件分隔字」者「或者」
                                  于（「字符串相等吗」于「文字」于『则』）
                                  于（「或者」于（「字符串相等吗」于「文字」于『否则』）
                                    于（「字符串相等吗」于「文字」于『否则若』））而
                                  虑「相应若缩进」者若「乃条件分隔字」则
                                    「排版状态相应若缩进」于「状态」
                                    于（「减」于「零」于「一」）
                                  否则
                                    （「减」于「零」于「一」）而
                                  虑「有相应若」者「非」于（「小于」于「相应若缩进」于「零」）而
                                  虑「乃嵌套否则若」者「且」于（「字符串相等吗」于「文字」于『否则若』）
                                    于（「且」于（「非」于「强制平铺」）
                                      于（「且」于「有相应若」
                                        于（「或者」于（「排版状态当前行含」于『若』于「状态」）
                                          于（「大于」于（「排版状态当前行缩进」于「状态」）
                                            于（「加」于「相应若缩进」于「二」）））））而
                                  虑「乃分行条件否则」者「且」
                                  于（「或者」于（「字符串相等吗」于「文字」于『否则』）
                                    于（「字符串相等吗」于「文字」于『否则若』））
                                  于（「且」于「有相应若」
                                  于（「且」于（「非」于（「且」于（「排版状态末片段为右括号」于「状态」）
                                    于（「字符串相等吗」于（「去行首空格」
                                      于（「反片段当前行文字」于（「排版状态片段」于「状态」）））于『）』）））
                                    于（「或者」于（「非」于（「是子字符串吗」于『若』
                                      于（「反片段当前行文字」于（「排版状态片段」于「状态」））））
                                      于（「排版状态当前行含」于『否则』于「状态」））））而
                                  虑「乃深则虑括号」者「且」于（「或者」
                                  于（「字符串相等吗」于「文字」于『则』）
                                  于（「字符串相等吗」于「文字」于『否则』））
                                  于（「且」于（「片列首为虑括号」于「尾」）
                                  于（「大于」于（「排版状态当前列」于「分而状态」）
                                  于（「除以」于「最大行宽」于「三」）））而
                                  虑「对子尾宽」者「排版片列扁平长度」于（「取同层调用尾」于「尾」）而
                                  虑「乃长对子尾」者「且」于（「字符串相等吗」于「文字」于『与』）
                                    于（「且」于（「非」于「强制平铺」）
                                      于（「且」于（「非」于（「小于」于「对子尾宽」于「零」））
                                        于（「大于」于（「加」于（「排版状态当前列」于「分而状态」）
                                          于（「加」于「二」于「对子尾宽」））于「最大行宽」）））而
                                  虑「乃复合类型合」者「且」于（「字符串相等吗」于「文字」于『合』）
                                    于（「且」于（「非」于「强制平铺」）
                                      于（「排版状态本声明含」于『即』于「状态」））而
                                  虑「本行以于开头」者「串开头是它吗」于『于』
                                    于（「去行首空格」于（「反片段当前行文字」于（「排版状态片段」于「分而状态」）））而
                                  虑「调用尾宽」者「排版片列扁平长度」于（「取同层调用尾」于「尾」）而
                                  虑「调用软行宽」者若「排版状态当前行含」于『授以』于「分而状态」则
                                    「除以」于（「乘」于「最大行宽」于「二」）于「三」否则
                                    若「且」于（「大于」于（「排版状态当前行缩进」于「分而状态」）于「八」）
                                      于（「大于」于「最大行宽」于「八零」）则「八零」否则「最大行宽」而
                                  虑「乃续括号实参」者「且」于（「字符串相等吗」于「文字」于『于』）
                                    于（「且」于（「片列首为括号」于（「去片列首原换行」于「尾」））
                                      于（「字符串相等吗」于（「去行首空格」
                                        于（「反片段当前行文字」于（「排版状态片段」于「分而状态」）））于『）』））而
                                  虑「乃长泛型授以」者「且」于（「字符串相等吗」于「文字」于『授以』）
                                    于（「且」于（「非」于「强制平铺」）
                                      于（「且」于（「大于」于（「排版状态当前列」于「分而状态」）
                                        于（「除以」于「最大行宽」于「四」））
                                        于（「非」于（「小于」于（「片列文字计数」于『授以』
                                          于（「取同层调用尾」于「尾」））于「二」））））而
                                  虑「短括号参数」者「且」于（「片列首为括号」于（「去片列首原换行」于「尾」））
                                    于（「且」于（「非」于「本行以于开头」）
                                      于（「且」于（「非」于「乃续括号实参」）
                                      于（「且」于（「等于」于（「片列文字计数」于『于』
                                        于（「取同层调用尾」于「尾」））于「零」）
                                        于（「小于」于（「排版状态当前列」于「分而状态」）于（「乘」于「四」于「一零」）））））而
                                  虑「乃分组调用于」者「且」于（「字符串相等吗」于「文字」于『于』）
                                    于（「且」于（「非」于「强制平铺」）
                                      于（「且」于（「非」于「短括号参数」）
                                        于（「或者」于「乃续括号实参」于（「或者」于（「且」于「本行以于开头」
                                          于（「或者」于（「片列首为括号」于（「去片列首原换行」于「尾」））
                                            于（「且」于（「非」于（「大于」于（「排版状态当前行缩进」于「状态」）于「四」））
                                              于（「排版状态本声明含」于『授以』于「状态」））））
                                          于（「或者」于（「小于」于「调用尾宽」于「零」）
                                            于（「大于」于（「加」于（「排版状态当前列」于「分而状态」）
                                              于（「加」于「二」于「调用尾宽」））于「调用软行宽」））））））而
                                  虑「调用于缩进」者若「等于」于（「排版状态当前列」于「分而状态」）于「零」
                                    则「当前缩进」否则若「或者」于「本行以于开头」于「乃续括号实参」则「排版状态当前行缩进」于「分而状态」否则
                                      「下一层缩进」于（「排版状态当前行缩进」于「分而状态」）于「最大行宽」而
                                  虑「乃局部若体」者「且」于（「字符串相等吗」于「文字」于『若』）
                                    于（「且」于（「非」于「强制平铺」）
                                      于（「且」于（「排版状态末片段为」于『者』于「状态」）
                                        于（「且」于（「排版状态当前行含」于『虑』于「状态」）
                                          于（「大于」于（「排版状态当前行缩进」于「状态」）于「零」））））而
                                  虑「乃深内嵌若」者「且」于（「字符串相等吗」于「文字」于『若』）
                                    于（「且」于（「或者」
                                      于（「大于」于（「排版状态当前列」于「状态」）
                                        于（「除以」于「最大行宽」于「四」））
                                      于（「且」于（「排版状态当前行含」于『若』于「状态」）
                                        于（「大于」于（「排版状态当前列」于「状态」）
                                          于（「除以」于「最大行宽」于「五」））））
                                      于（「大于」于（「排版状态当前行缩进」于「状态」）于「零」））而
                                  虑「写前状态」者若「或者」于「乃局部若体」
                                    于（「或者」于「乃深内嵌若」于（「或者」于「乃分行条件否则」于「乃嵌套否则若」））
                                    则「排版状态保证换行」于「分而状态」于「一」否则若
            「乃模式分支」则「排版状态保证换行」于「分而状态」于「一」
                                  否则
                                    若「或者」于「乃分组调用于」于（「或者」于「乃长泛型授以」
                                      于（「或者」于「乃复合类型合」于「乃长对子尾」））则「排版状态保证换行」于「分而状态」于「一」否则
                                    若「乃深则虑括号」则「排版状态保证换行」于「分而状态」于「一」否则
                                      若「且」于（「字符串相等吗」于「文字」于『也』）
                                        于（「且」于（「片列首为结束符」于「尾」）
                                          于（「且」于（「大于」于（「排版状态当前行缩进」于「分而状态」）于「零」）
                                            于（「非」于（「排版状态本声明含」于『立』于「状态」））））
                                      则「排版状态保证换行」于「分而状态」于「一」否则「分而状态」而
                                  虑「实文字」者若「乃而有字」则『有』否则若「乃嵌套否则若」则『否则』否则「文字」而
                                  虑「片缩进」者若「或者」于「乃局部若体」于「乃深内嵌若」则
                                    「下一层缩进」于（「排版状态当前行缩进」于「状态」）于「最大行宽」否则若
                                    「乃嵌套否则若」则「相应若缩进」否则若「乃复合类型合」则「二」否则若「乃长泛型授以」则
                                    「下一层缩进」于（「排版状态当前行缩进」于「状态」）于「最大行宽」否则若「乃长对子尾」则
                                    「下一层缩进」于（「排版状态当前行缩进」于「状态」）于「最大行宽」否则若
                                    「乃分组调用于」则「调用于缩进」否则若「乃分行条件否则」则「相应若缩进」否则若
            「乃模式分支」则「模式分支缩进」
                                  否则
                                    若「且」于（「字符串相等吗」于「文字」于『也』）
                                    于（「片列首为结束符」于「尾」）
                                    则
                                      「零」
                                    否则
                                      「排版片起始缩进」于「写前状态」于「当前缩进」于「续行缩进」而
                                  虑「可用行宽」者「为结束符预留行宽」于「最大行宽」于「尾」而
                                  虑「乃类型而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                  于（「排版状态当前行有化」于「状态」）
                                  而
                                  虑「乃于字」者「字符串相等吗」于「文字」于『于』而
                                  虑「乃深于括号」者「且」于「乃于字」
                                  于（「且」于（「片列首为括号」于「尾」）
                                  于（「大于」于（「排版状态当前列」于「写前状态」）
                                  于（「行宽缩进上限」于「最大行宽」）））而
                                  虑「乃左括号后」者「排版状态末片段为」于『（』于「状态」而
                                  虑「乃递归虑尾」者「且」于（「字符串相等吗」于「文字」于『虑』）
                                  于（「排版状态末片段为」于『递归』于「状态」）而
                                  虑「乃而字」者「字符串相等吗」于「文字」于『而』而
                                  虑「预待而锚」者若「乃而字」则「排版状态待而锚缩进」于「状态」否则
                                    「减」于「零」于「一」而
                                  虑「乃递归闭而」者「且」于「乃而字」
                                    于（「且」于（「排版状态本声明含」于『递归虑』于「状态」）
                                      于（「且」于（「排版状态末片段为右括号」于「状态」）
                                        于（「且」于（「非」于（「小于」于「预待而锚」于「零」））
                                          于（「大于」于（「排版状态当前行缩进」于「状态」）于「预待而锚」））））而
                                  虑「乃结构闭而」者「且」于「乃而字」
                                    于（「且」于（「非」于（「小于」于「预待而锚」于「零」））
                                      于（「且」于（「大于」于（「排版状态当前行缩进」于「状态」）于「预待而锚」）
                                        于（「且」于（「排版状态本声明含」于『虑』于「状态」）
                                          于（「或者」于（「片列首为原子」于（「去片列首原换行」于「尾」））
                                            于（「片列首为括号」于（「去片列首原换行」于「尾」））））））而
                                  虑「乃条件局部闭而」者「且」于「乃而字」
                                    于（「应闭合局部条件」于「状态」于「尾」于「强制平铺」）而
                                  虑「可能另行虑而」者「且」于「乃而字」
                                  于（「且」于（「非」于「强制平铺」）
                                  于（「或者」于「乃递归闭而」于（「或者」于「乃条件局部闭而」于（「或者」于「乃结构闭而」
                                    于（「大于」于（「加」
                                      于（「排版状态当前列」于「写前状态」）
                                      于（「字符串显示宽度」于「实文字」））于「可用行宽」）））））而
                                  虑「待而锚缩进」者若「可能另行虑而」则
                                    若「乃条件局部闭而」则「二」否则「预待而锚」
                                  否则
                                    「减」于「零」于「一」而
                                  虑「乃虑而」者「非」于（「小于」于「待而锚缩进」于「零」）而
                                  虑「可能虑者」者「且」于（「字符串相等吗」于「文字」于『者』）
                                  于（「是子字符串吗」于『虑』
                                  于（「反片段当前行文字」于（「排版状态片段」于「状态」）））而
                                  虑「虑值锚缩进」者若「可能虑者」则「排版状态待而锚缩进」于「状态」否则「减」于「零」于
                                  「一」而
                                  虑「乃虑者」者「非」于（「小于」于「虑值锚缩进」于「零」）而
                                  虑「当另行虑而」者「乃虑而」而
                                  虑「可换行」者「且」
                                  于（「且」于（「非」于「强制平铺」）
                                    于（「且」于（「非」于（「字符串相等吗」于「实文字」于『乃』））
                                      于（「非」于（「字符串相等吗」于「实文字」于『者』））））
                                  于（「且」于（「非」于「乃递归虑尾」）
                                  于（「且」于（「非」于「乃类型而」）
                                  于（「且」于（「或者」于（「非」于「乃于字」）于「乃深于括号」）
                                  于（「非」于「乃左括号后」））））而
                                  虑「后当前缩进」者若「乃模式分支」则「模式分支缩进」否则
                                    若「当另行虑而」则「待而锚缩进」否则「当前缩进」而
                                  虑「后续行缩进」者若「乃模式分支」则「下一层缩进」于「模式分支缩进」于「最大行宽」否则
                                    若「当另行虑而」则「下一层缩进」于「待而锚缩进」于「最大行宽」否则若
              「乃虑者」则「加」于「虑值锚缩进」于「二」
                                    否则
                                      「续行缩进」而虑「后模式分支缩进」者若「乃鉴字」则若「排版状态末片段为」于『（』于
                                      「状态」则「当前缩进」
                                      否则
                                        「下一层缩进」于「当前缩进」于「最大行宽」
                                      否则
                                        「模式分支缩进」而
                                                    虑「初写后状态」者若「当另行虑而」则「排版状态追加」
                                                      于（「排版状态准备缩进」
                                                      于（「排版状态保证换行」于「写前状态」于「一」）于「待而锚缩进」）于
                                                      「实文字」
                                                    否则
                                                      「排版状态写文本」于「写前状态」于「实文字」于「片缩进」于
                                                        「可用行宽」于「可换行」而
                                                    虑「乃独行条件分隔」者「且」于「乃条件分隔字」
                                                      于（「且」于（「非」于（「字符串相等吗」于「文字」于『否则若』））
                                                      于（「且」于「有相应若」
                                                        于（「字符串相等吗」于「实文字」
                                                        于（「去行首空格」
                                                        于（「反片段当前行文字」于（「排版状态片段」于「初写后状态」））））））
                                                    而
                                                    虑「乃函首末而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「排版状态当前行含」于『者』于「状态」）
                                                        于（「且」于（「排版状态当前行有会」于「状态」）
                                                          于（「非」于（「片列首文字为」于『会』于「尾」））））而
                                                    虑「乃递归阶梯会」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「排版状态本声明含」于『者』于「状态」）
                                                        于（「且」于（「片列首文字为」于『会』于「尾」）
                                                          于（（「函数头参数数与递归体」于「尾」）中「一」）））而
                                                    虑「乃递归函体始」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「排版状态当前行有会」于「状态」）
                                                        于（「片列首文字为」于『递归虑』于「尾」））而
                                                    虑「乃匿名函体始」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「排版状态当前行有会」于「状态」）
                                                          于（「片列首文字为」于『若』于（「去片列首原换行」于「尾」））））而
                                                    虑「乃隐显转换而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「片列首文字为」于『会』于（「去片列首原换行」于「尾」））
                                                        于（「且」于（「排版状态当前行含」于『受』于「状态」）
                                                          于（「非」于（「小于」于（「排版状态本声明计数」于『受』于「状态」）于「三」））））而
                                                    虑「乃分行函数头尾而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「非」于（「大于」于（「排版状态当前行缩进」于「状态」）于「二」））
                                                          于（「且」于（「非」于（「排版状态当前行含」于『者』于「状态」））
                                                          于（「且」于（「排版状态当前行有会」于「状态」）
                                                            于（「且」于（「排版状态本声明含」于『者』于「状态」）
                                                              于（「且」于（「非」于（「片列首文字为」于『会』于（「去片列首原换行」于「尾」）））
                                                                于（「且」于（「非」于（「片列首文字为」于『受』于（「去片列首原换行」于「尾」）））
                                                                  于（「非」于（「片列首文字为」于『递归虑』于（「去片列首原换行」于「尾」））））））））））而
                                                    虑「乃局部连续绑定而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「排版状态本声明含」于『者』于「状态」）
                                                          于（「片列首文字为」于『虑』于（「去片列首原换行」于「尾」））））而
                                                    虑「乃局部结果而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「排版状态当前行含」于『虑』于「状态」）
                                                          于（「且」于（「排版状态当前行含」于『者』于「状态」）
                                                            于（「片列首为原子」于（「去片列首原换行」于「尾」）））））而
                                                    虑「乃竖排参数而」者「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「非」于（「大于」于（「排版状态当前行缩进」于「状态」）于「二」））
                                                          于（「且」于（「非」于（「排版状态本声明含」于『受』于「状态」））
                                                            于（「且」于（「非」于（（「函数头参数数与递归体」于「尾」）中「一」））
                                                              于（「且」于（「排版状态本声明含」于『者』于「状态」）
                                                                于（「且」于（「片列首文字为」于『会』于（「去片列首原换行」于「尾」））
                                                                  于（「大于」于（「加」
                                                                    于（「字符串显示宽度」于（「排版状态本声明文字」于「状态」））
                                                                    于（「函数头参数片宽」于「尾」））于「最大行宽」）））））））而
                                                    虑「长者体长度」者「排版片列扁平长度」于（（「取首声明片」于「尾」）中「零」）而
                                                    虑「函数头资料」者「函数头参数数与递归体」于（「去片列首原换行」于「尾」）而
                                                    虑「乃分行多参函头」者「且」于（「字符串相等吗」于「文字」于『者』）
                                                      于（「且」于（「等于」于（「排版状态当前行缩进」于「状态」）于「零」）
                                                        于（「且」于（「或者」于（「大于」于（「排版状态当前列」于「初写后状态」）
                                                          于（「除以」于「最大行宽」于「三」））
                                                          于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                            于（「函数头参数片宽」于「尾」））于「最大行宽」））
                                                          于（「且」于（「非」于（「函数头资料」中「一」））
                                                            于（「非」于（「小于」于（「函数头资料」中「零」）于「三」）））））而
                                                    虑「乃长者体」者「且」于（「字符串相等吗」于「文字」于『者』）
                                                      于（「且」于（「等于」于（「排版状态当前行缩进」于「状态」）于「零」）
                                                        于（「且」于（「片列首为原子」于「尾」）
                                                          于（「且」于（「非」于（「片列首原子是跨行字符串」于「尾」））
                                                          于（「或者」于（「小于」于「长者体长度」于「零」）
                                                            于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                              于「长者体长度」）于「最大行宽」）））））而
                                                    虑「局部体首宽」者「排版片列扁平长度」于（「取同层调用尾」于「尾」）而
                                                    虑「乃局部长者体」者「且」于（「字符串相等吗」于「文字」于『者』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「排版状态当前行含」于『虑』于「状态」）
                                                          于（「或者」于（「小于」于「局部体首宽」于「零」）
                                                            于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                              于「局部体首宽」）
                                                              于（「乘」于（「除以」于「最大行宽」于「五」）于「三」）））））而
                                                    虑「类型尾宽」者「排版片列扁平长度」于（（「取首声明片」于「尾」）中「零」）而
                                                    虑「类型软行宽」者若「大于」于「最大行宽」于「八零」则「八零」否则「最大行宽」而
                                                    虑「乃长类型头」者「且」于（「字符串相等吗」于「文字」于『乃』）
                                                      于（「或者」于（「且」于（「大于」于（「排版状态当前列」于「初写后状态」）
                                                          于（「除以」于「最大行宽」于「三」））
                                                        于（「非」于（「小于」于（「片列文字计数」于『化』
                                                          于（（「取首声明片」于「尾」）中「零」））于「二」）））
                                                        于（「或者」于（「小于」于「类型尾宽」于「零」）
                                                          于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                            于「类型尾宽」）于「类型软行宽」）））而
                                                    虑「乃复合类型头」者「且」于（「字符串相等吗」于「文字」于『即』）
                                                      于（「非」于（「小于」于（「片列文字计数」于『合』
                                                        于（（「取首声明片」于「尾」）中「零」））于「二」））而
                                                    虑「乃多行类型而」者若「片列首为后置注释」于「尾」则「阴」否则
                                                      「且」于（「字符串相等吗」于「文字」于『而』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「大于」于（「排版状态当前行缩进」于「状态」）于「零」）
                                                          于（「且」于（「排版状态本声明含」于『乃』于「状态」）
                                                            于（「且」于（「非」于（「排版状态本声明含」于『者』于「状态」））
                                                              于（「非」于（「且」于（「排版状态当前行含」于『承』于「状态」）
                                                                于（「且」于（「片列首文字为」于『承』于（「去片列首原换行」于「尾」））
                                                                  于（「小于」于（「加」
                                                                    于（「排版状态本声明计数」于『承』于「状态」）
                                                                    于（「片列文字计数」于『承』
                                                                      于（（「取首声明片」于「尾」）中「零」）））于「三」））））））））而
                                                    虑「条件尾宽」者「排版片列扁平长度」于（「取同层调用尾」于「尾」）而
                                                    虑「条件后支宽」者「排版片列扁平长度」
                                                      于（「取同层调用尾」于（「取否则后尾」于「尾」））而
                                                    虑「乃独立条件正文」者「且」于（「字符串相等吗」于「文字」于『则』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「或者」
                                                          于（「等于」于（「排版状态当前行缩进」于「状态」）于「二」）
                                                          于（「且」于（「非」于（「小于」于「模式分支缩进」于「零」））
                                                            于（「大于」于（「排版状态当前行缩进」于「状态」）于「八」）））
                                                          于（「且」于（「排版状态当前行含」于『若』于「状态」）
                                                            于（「且」于（「排版状态本声明含」于『者』于「状态」）
                                                              于（「且」于（「片列首为原子」于（「去片列首原换行」于「尾」））
                                                                于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                                  于（「加」于「条件尾宽」于「条件后支宽」））
                                                                  于（「除以」于「最大行宽」于「二」）））））））而
                                                    虑「乃嵌套条件正文」者「且」于（「字符串相等吗」于「文字」于『则』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「非」于（「片列首为原换行」于「尾」））
                                                          于（「片列首文字为」于『若』于「尾」）））而
                                                    虑「模式正文宽」者「排版片列扁平长度」于（「取当前模式分支体」于「尾」）而
                                                    虑「乃复杂模式正文」者「且」于（「字符串相等吗」于「文字」于『则』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「非」于（「片列首为括号」于（「去片列首原换行」于「尾」）））
                                                          于（「且」于（「非」于（「是子字符串吗」于『「罄」』
                                                            于（「反片段当前行文字」于（「排版状态片段」于「状态」））））
                                                            于（「且」于（「或者」于（「排版状态当前行含」于『有』于「状态」）
                                                              于（「排版状态当前行含」于『或有』于「状态」））
                                                              于（「或者」于（「排版状态当前行含」于『与』于「状态」）
                                                                于（「或者」于（「小于」于「模式正文宽」于「零」）
                                                                  于（「大于」于「模式正文宽」于（「乘」于「二」于「一零」））））））））而
                                                    虑「乃长条件正文」者「且」于（「字符串相等吗」于「文字」于『则』）
                                                      于（「且」于（「片列首为原子」于（「去片列首原换行」于「尾」））
                                                        于（「且」于（「非」于（「排版状态当前行含」于『有』于「状态」））
                                                          于（「且」于（「非」于（「排版状态当前行含」于『或有』于「状态」））
                                                      于（「或者」于（「且」于（「大于」于（「排版状态当前行缩进」于「状态」）于（「乘」于「二」于「一零」））
                                                        于（「是子字符串吗」于『否则』于（「排版状态本声明文字」于「状态」）））
                                                      于（「或者」于（「小于」于「条件尾宽」于「零」）
                                                        于（「或者」于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                          于「条件尾宽」）于「最大行宽」）
                                                          于（「且」于（「大于」于「条件后支宽」于「零」）
                                                            于（「大于」于（「加」于（「排版状态当前列」于「初写后状态」）
                                                              于「条件后支宽」）于「最大行宽」））））））））而
                                                    虑「乃整条件超宽」者「且」于（「字符串相等吗」于「文字」于『则』）
                                                      于（「且」于（「非」于「强制平铺」）
                                                        于（「且」于（「排版状态当前行含」于『若』于「状态」）
                                                          于（「且」于（「排版状态当前行含」于『于』于「状态」）
                                                            于（「且」于（「非」于（「小于」于「条件尾宽」于「零」））
                                                              于（「且」于（「大于」于「条件后支宽」于「零」）
                                                                于（「大于」于（「加」
                                                                  于（「排版状态当前列」于「初写后状态」）
                                                                  于（「加」于「四」于（「加」于「条件尾宽」于「条件后支宽」）））
                                                                  于「最大行宽」））））））而
                                                    虑「乃整条件超宽且原子」者「且」于「乃整条件超宽」
                                                      于（「片列首为原子」于（「去片列首原换行」于「尾」））而
                                                    虑「后当分行」者若「片列首为后置注释」于「尾」则「阴」否则
                                                      「或者」于「乃条件局部闭而」
                                                      于（「或者」于「乃匿名函体始」
                                                      于（「或者」于「乃嵌套否则若」
                                                      于（「或者」于「乃独行条件分隔」
                                                      于（「或者」于「乃递归阶梯会」于（「或者」于「乃隐显转换而」
                                                      于（「或者」于「乃函首末而」
                                                        于（「或者」于「乃递归函体始」于（「或者」于「乃分行函数头尾而」
                                                          于（「或者」于「乃局部连续绑定而」于（「或者」于「乃局部结果而」
                                                            于（「或者」于「乃竖排参数而」
                                                        于（「或者」于「乃长者体」于（「或者」于「乃局部长者体」
                                                          于（「或者」于「乃分行多参函头」
                                                          于（「或者」于「乃长类型头」
                                                          于（「或者」于「乃复合类型头」
                                                          于（「或者」于「乃多行类型而」
                                                            于（「或者」于「乃复杂模式正文」
                                                              于（「或者」于「乃独立条件正文」
                                                                于（「或者」于「乃嵌套条件正文」
                                                                  于（「或者」于「乃整条件超宽且原子」
                                                                    于（「或者」于「乃长条件正文」于「乃递归闭而」））））））））））））））））））））））而
                                                    虑「写后状态」者若「后当分行」则「排版状态保证换行」于
                                                      「初写后状态」于「一」
                                                    否则
                                                      「初写后状态」而
                                                    虑「实尾」者若「乃嵌套否则若」则「缀」于（「文字片」于『若』）于「尾」否则若「后当分行」则「去片列首原换行」于「尾」
                                                    否则
                                                      「尾」而
                                                    虑「条件正文缩进」者「下一层缩进」
                                                      于（若「等于」于（「排版状态当前列」于「状态」）于「零」
                                                        则「片缩进」否则「排版状态当前行缩进」于「状态」）于「最大行宽」
                                                    而
                                                    虑「函正文缩进」者「下一层缩进」
                                                      于（「排版状态当前行缩进」于「状态」）于「最大行宽」而
                                                    虑「局部绑定缩进」者若「大于」于（「排版状态当前行缩进」于「状态」）于「零」
                                                      则「排版状态当前行缩进」于「状态」否则「二」而
                                                    虑「实后当前缩进」者若「乃多行类型而」则「排版状态当前行缩进」于「状态」否则若
                                                      「乃条件局部闭而」则「二」否则若
                                                      「乃嵌套否则若」则「下一层缩进」于「相应若缩进」于「最大行宽」否则若
                                                      「乃递归闭而」则「预待而锚」否则若
                                                      「乃分行函数头尾而」则「排版状态当前行缩进」于「状态」否则若
                                                      「乃隐显转换而」则「排版状态当前行缩进」于「状态」否则若
                                                      「乃竖排参数而」则若「大于」于（「排版状态当前行缩进」于「状态」）于「零」
                                                        则「排版状态当前行缩进」于「状态」否则「二」否则若
                                                      「乃局部结果而」则「排版状态当前行缩进」于「状态」否则若
                                                      「乃局部连续绑定而」则「局部绑定缩进」否则若
                                                      「或者」于「乃函首末而」于（「或者」于「乃递归阶梯会」
                                                        于（「或者」于「乃递归函体始」于「乃匿名函体始」））
                                                      则「函正文缩进」否则若「后当分行」则「条件正文缩进」
                                                    否则
                                                      「后当前缩进」而
                                                    虑「实后续行缩进」者若「乃多行类型而」则「实后当前缩进」否则若「乃递归闭而」则
                                                      「下一层缩进」于「预待而锚」于「最大行宽」否则若「后当分行」则「下一层缩进」于
                                                        「实后当前缩进」于「最大行宽」
                                                    否则
                                                      「后续行缩进」而「构造文字排版步」于「写后状态」于「实尾」于
                                                        「实后当前缩进」于「实后续行缩进」于「后模式分支缩进」

也。

「排版片列」乃化「排版状态」而化（「列」于「排版片」）而化「整数」而化「整数」而化「整数」 「：括号结构缩进下限：」而
  化「整数」而化「爻」而化「整数」 「：当前鉴式分支缩进，负一即无：」而
  「排版状态」也。
「排版片列」者会「状态」而会「片们」而会「当前缩进」而会「续行缩进」而会「结构缩进」而会「最大行宽」而会「强制平铺」而
  会「模式分支缩进」而
    鉴「片们」而
      有「罄」则「状态」
      或有（「缀」于「当前」于「尾」）则（鉴「当前」而
        有「文字片」于「文字」则（
          虑「一步」者「排版文字片一步」于「状态」于「文字」于「尾」于「当前缩进」于「续行缩进」于
            「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」而
          鉴「一步」而
            有（「构造文字排版步」于「后状态」于「后尾」于「后当前缩进」于「后续行缩进」于「后模式分支缩进」）则
              「排版片列」于「后状态」于「后尾」于「后当前缩进」于「后续行缩进」于
                「结构缩进」于「最大行宽」于「强制平铺」于「后模式分支缩进」
        ）
        或有「原子片」于「文字」则（虑「片缩进」者「排版片起始缩进」于「状态」于「当前缩进」于「续行缩进」而
                                    虑「可用行宽」者「为结束符预留行宽」于「最大行宽」于「尾」而
                                    虑「可换行」者「且」于（「非」于「强制平铺」）
                                    于（「非」于（「排版状态末片段为」于『（』于「状态」））
                                    而
                                    「排版片列」于（「排版状态写文本」于「状态」于「文字」于「片缩进」于「可用行宽」于
                                    「可换行」）于「尾」于
                                    「当前缩进」于「续行缩进」于「结构缩进」于
                                    「最大行宽」于「强制平铺」于「模式分支缩进」
        ）
        或有「方括号片」于「内片」则（
          虑「内长度」者「排版片列扁平长度」于「内片」而
          虑「开行缩进」者「排版状态当前行缩进」于「状态」而
          虑「起始列」者「排版状态当前列」于「状态」而
          虑「可平铺」者「且」于（「非」于（「小于」于「内长度」于「零」））
            于（「且」于（「非」于（「大于」于（「加」于（「加」于「起始列」于「内长度」）于「四」）于「最大行宽」））
              于（「非」于（「且」于（「非」于（「小于」于（「片列文字计数」于『，』于「内片」）于「二」））
                于（「片列含复合列表项」于「内片」））））而
          虑「开状态」者「排版状态写文本」于「状态」于『【』于「当前缩进」于「最大行宽」于「阴」而
          若「或者」于「强制平铺」于「可平铺」则
            虑「内状态」者「排版片列」于「开状态」于「内片」于「当前缩进」于「续行缩进」
              于「结构缩进」于「最大行宽」于「阳」于（「减」于「零」于「一」）而
            虑「闭状态」者「排版状态追加」于「内状态」于『】』而
            「排版片列」于「闭状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」
              于「最大行宽」于「强制平铺」于「模式分支缩进」
          否则
            虑「项缩进」者「下一层缩进」于「开行缩进」于「最大行宽」而
            虑「行状态」者「排版状态保证换行」于「开状态」于「一」而
            虑「内状态」者「排版片列」于「行状态」于（「方括号项换行」于「内片」）
              于「项缩进」于「项缩进」于「项缩进」于「最大行宽」于「阴」于（「减」于「零」于「一」）而
            虑「闭行状态」者「排版状态准备缩进」
              于（「排版状态保证换行」于「内状态」于「一」）于「开行缩进」而
            虑「闭状态」者「排版状态追加」于「闭行状态」于『】』而
            「排版片列」于「闭状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」
              于「最大行宽」于「强制平铺」于「模式分支缩进」
        ）
        或有「括号片」于「内片」则（虑「内长度」者「排版片列扁平长度」于「内片」而
                                    虑「起始列」者若「等于」于（「排版状态当前列」于「状态」）于「零」则「当前缩进」
                                    否则
                                      「排版状态当前列」于「状态」而
                                    虑「可用行宽」者「为结束符预留行宽」于「最大行宽」于「尾」而
                                    虑「本行可以平铺」者「且」
                                    于（「非」于（「小于」于「内长度」于「零」））
                                    于（「且」于（「非」于（「片列同层含两个若」于「阴」于「内片」））
                                    于（「非」于（「大于」于（「加」
                                    于（「加」于「起始列」于「内长度」）
                                    于（「乘」于「二」于「二」））于
                                    「可用行宽」）））而
                                    虑「乃分支体括号」者「或者」
                                    于（「排版状态末片段为」于『则』于「状态」）
                                    于（「排版状态末片段为」于『否则』于「状态」）而
                                    虑「乃深若括号」者「且」
                                      于（「排版状态末片段为」于『若』于「状态」）
                                      于（「大于」于「当前缩进」于「四」）而
                                    虑「乃顺序括号」者「片列同层含分号」于「内片」而
                                    虑「分支括号缩进」者「下一层缩进」于「当前缩进」于「最大行宽」而
                                    虑「新行可以平铺」者「且」
                                    于（「非」于（「小于」于「内长度」于「零」））
                                    于（「且」于（「非」于（「片列同层含两个若」于「阴」于「内片」））
                                    于（「非」于（「大于」于（「加」
                                    于（「加」于「分支括号缩进」于「内长度」）
                                    于（「乘」于「二」于「二」））于
                                    「可用行宽」）））而
                                    虑「当另行分支体」者「且」
                                    于（「非」于「强制平铺」）
                                    于（「且」于「乃分支体括号」
                                    于（「或者」于「乃顺序括号」于（「且」
                                    于（「大于」于（「排版状态当前列」于「状态」）于「零」）
                                    于（「且」于（「非」于「本行可以平铺」）于「新行可以平铺」））））而
                                    虑「可以平铺」者「或者」于「强制平铺」
                                    于（若「当另行分支体」则「新行可以平铺」否则「本行可以平铺」）而
                                    虑「括号缩进」者若「当另行分支体」则「分支括号缩进」否则
                                      若「可以平铺」则「排版片起始缩进」于「状态」于「当前缩进」于「续行缩进」否则
                                        「当前缩进」而
                                    虑「开前状态」者若「当另行分支体」则「排版状态准备缩进」
                                    于（「排版状态保证换行」于「状态」于「一」）于「括号缩进」
                                    否则
                                      「状态」而
                                    若「可以平铺」则
                                      虑「开状态」者「排版状态写文本」于「开前状态」于『（』于「括号缩进」于「最大行宽」于
                                      「阴」而
                                      虑「内状态」者「排版片列」于「开状态」于「内片」于「当前缩进」于「续行缩进」于
                                      「结构缩进」于
                                      「最大行宽」于「阳」于（「减」于「零」于「一」）而
                                      虑「闭状态」者「排版状态写文本」于「内状态」于『）』于「续行缩进」于「最大行宽」于
                                      「阴」而
                                      「排版片列」于「闭状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」于
                                      「最大行宽」于
                                      「强制平铺」于「模式分支缩进」
                                    否则
                                      虑「于后括号」者「排版状态末片段为」于『于』于「状态」而
                                      虑「左括号后」者「排版状态末片段为」于『（』于「状态」而
                                      虑「开可换行」者「且」于（「非」于「当另行分支体」）
                                      于（「且」于（「非」于「于后括号」）于（「非」于「左括号后」））而
                                      虑「开状态」者「排版状态写文本」于「开前状态」于『（』于「括号缩进」于「最大行宽」于
                                      「开可换行」而
                                      虑「实内片」者「去片列首原换行」于「内片」而
                                      虑「乃模式括号」者「或者」
                                      于（「排版状态末片段为」于『有』于「状态」）
                                      于（「排版状态末片段为」于『或有』于「状态」）而
                                      虑「乃匿名函数括号」者「片列首文字为」于『会』于「实内片」而
                                      虑「乃紧括号」者「且」于「于后括号」
                                      于（「大于」于「括号缩进」于「八」）而
                                      虑「乃缀括号」者「且」于（「大于」于「括号缩进」于「六」）
                                      于（「且」于「于后括号」于（「片列首原子为」于『「缀」』于「实内片」））而
                                      虑「乃长条件括号」者「且」
                                        于（「或者」于（「片列首文字为」于『若』于「实内片」）
                                          于（「或者」于（「片列首文字为」于『鉴』于「实内片」）
                                            于（「或者」于（「片列首文字为」于『虑』于「实内片」）
                                              于（「片列首文字为」于『递归虑』于「实内片」））））
                                        于（「且」于（「非」于「本行可以平铺」）
                                          于（「非」于「乃深若括号」））而
                                      虑「内起始」者若「乃长条件括号」则
                                        「排版状态保证换行」于「开状态」于「一」否则「开状态」而
                                      虑「内缩进」者若「或者」于「乃缀括号」于「乃紧括号」则「括号缩进」否则
                                        「下一层缩进」于「括号缩进」于「最大行宽」而
                                      虑「内续行缩进」者「下一层缩进」于「内缩进」于「最大行宽」而
                                      虑「内状态」者「排版片列」于「内起始」于「实内片」于「内缩进」于「内续行缩进」于
                                      「内缩进」于
                                      「最大行宽」于「阴」于（「减」于「零」于「一」）而
                                      虑「闭括号缩进」者若「片列尾注释换行」于「内片」则
                                        若「大于」于（「排版状态当前行缩进」于「状态」）于「二」则
                                          「减」于（「排版状态当前行缩进」于「状态」）于「二」否则「零」
                                        否则「括号缩进」而
                                      虑「闭行」者
                                        若「片列尾注释换行」于「内片」则
                                          「排版状态准备缩进」于（「排版状态保证换行」于「内状态」于「一」）于「闭括号缩进」
                                        否则若「乃模式括号」则「内状态」否则若「乃顺序括号」则「内状态」否则
                                          若「乃紧括号」则「内状态」否则若「乃深若括号」则「内状态」否则若
                                          「片列首为原子」于「实内片」则「内状态」否则若
                                          「且」于「乃匿名函数括号」于（「排版状态末片段为右括号」于「内状态」）则「内状态」
                                          否则
                                            「排版状态准备缩进」
                                              于（「排版状态保证换行」于「内状态」于「一」）于「闭括号缩进」而
                                      虑「闭状态」者「排版状态追加」于「闭行」于『）』而「排版片列」于「闭状态」于「尾」于
                                        「当前缩进」于「续行缩进」于「结构缩进」于「最大行宽」于「强制平铺」于
                                        「模式分支缩进」
        ）
        或有「句号片」则（虑「片缩进」者「排版片起始缩进」于「状态」于「当前缩进」于「续行缩进」而
                          虑「句号状态」者「排版状态写文本」于「状态」于『。』于「片缩进」于「最大行宽」于「阴」而
                          虑「句号后结果」者「理句号后换行」于「句号状态」于「尾」而
                          虑「前乃导入」者「或者」于（「排版状态本声明含」于『寻』于「状态」）
                            于（「或者」于（「排版状态本声明含」于『寻观』于「状态」）
                              于（「或者」于（「排版状态本声明含」于『观』于「状态」）
                                于（「或者」于（「排版状态本声明含」于『诵』于「状态」）
                                  于（「或者」于（「排版状态本声明含」于『寻诵』于「状态」）
                                    于（「或者」于（「排版状态本声明含」于『观诵』于「状态」）
                                      于（「排版状态本声明含」于『寻观诵』于「状态」））））））而
                          虑「后乃构造」者「声明片含立」于（（「取首声明片」于（「句号后结果」中「一」））中「零」）而
                          虑「前乃类型声明」者「或者」于（「排版状态本声明含」于『立』于「状态」）
                            于（「排版状态本声明含」于『即』于「状态」）而
                          虑「需空行」者「且」于（「非」于（「片列为空」于（「句号后结果」中「一」）））
                            于（「且」于（「非」于（「片列首为后置注释」于（「句号后结果」中「一」）））
                              于（「或者」于（「排版状态本声明含」于『者』于「状态」）
                                于（「或者」于（「且」于「前乃类型声明」于（「非」于「后乃构造」））
                                  于（「且」于「前乃导入」于（「非」于（「片列首为导入」于（「句号后结果」中「一」）））））））而
                          虑「后换行状态」者若「需空行」则
                            「排版状态保证换行」于（「句号后结果」中「零」）于「二」否则（「句号后结果」中「零」）而
                          虑「后注释缩进」者若「且」
                            于（「等于」于（「排版状态当前行缩进」于「状态」）于「二」）
                            于（「片列单换行后为注释」于「尾」）则「四」否则「零」而
                          「排版片列」于「后换行状态」
                          于（「句号后结果」中「一」）于「后注释缩进」于「二」于
                          「零」于
                          「最大行宽」于「强制平铺」于（「减」于「零」于「一」））
        或有「分号片」则（虑「片缩进」者「排版片起始缩进」于「状态」于「当前缩进」于「续行缩进」而
                          虑「分号状态」者「排版状态写文本」于「状态」于『；』于「片缩进」于「最大行宽」于「阴」而
                          虑「余尾」者「去片列首原换行」于「尾」而
                          虑「后状态」者若「片列首为后置注释」于「余尾」则「分号状态」否则「排版状态保证换行」于
                          「分号状态」于
                          「一」而
                          虑「后当前缩进」者若「等于」于「当前缩进」于「零」则「续行缩进」否则「当前缩进」而
                          「排版片列」于「后状态」于「余尾」于「后当前缩进」于「续行缩进」于「结构缩进」于「最大行宽」于
                          「强制平铺」于（「减」于「零」于「一」））
        或有「注释片」于「文字」于「前置注释」
        则（虑「注释行」者
              「排版状态准备缩进」
              于（「排版状态保证换行」于「状态」于「一」）于「当前缩进」而
            虑「注释状态」者「排版状态追加」于「注释行」
            于（『「』附『：』附「文字」附『：』附『」』）而「排版片列」
            于（「排版状态保证换行」于「注释状态」于「一」）于「尾」于
            「当前缩进」于「续行缩进」于「结构缩进」于「最大行宽」于「强制平铺」于
            「模式分支缩进」
        ）
        或有「注释片」于「文字」于「后置注释」
        则（虑「间隔状态」者若「等于」
          于（「排版状态当前列」于「状态」）于
          「零」则「状态」
        否则
          「排版状态追加」于
            「状态」于『 』而
            虑「注释状态」者「排版状态追加」于「间隔状态」
              于（『「』附『：』附「文字」附『：』附『」』）而
            虑「注释行缩进」者「排版状态当前行缩进」于「状态」而
            虑「乃类型项」者「排版状态当前行有化」于「状态」而
            虑「后尾」者若「乃类型项」则「合注释后而字」于「尾」否则「尾」而
            虑「取而结果」者「取片列首而字」于「后尾」而
            虑「当合而」者「且」于「乃类型项」
              于（「取而结果」中「零」）而
            虑「已有类型而」者「且」于「乃类型项」
              于（「排版状态当前行有而」于「状态」）而
            虑「当续类型」者「或者」于「当合而」于「已有类型而」而
            虑「合而状态」者若「当合而」则「排版状态追加」于「注释状态」于『而』
            否则
              「注释状态」而
            虑「余尾」者若「当合而」则「合类型链末也」
              于（「去片列首原换行」于（「取而结果」中「一」））否则若
              「已有类型而」则「去片列首原换行」于「后尾」
              否则
                「后尾」而
            虑「后状态」者若「片列首为后置注释」于「余尾」则「合而状态」否则若
              「片列为空」于「余尾」则「合而状态」否则若「当续类型」则
                「排版状态保证换行」于「合而状态」于「一」
              否则
                「排版状态保证换行」于「合而状态」于「一」而
            虑「普通后缩进」者若「大于」于「注释行缩进」于「当前缩进」则
              「注释行缩进」
            否则
              「当前缩进」而
            虑「后当前缩进」者若「当续类型」则
              若「大于」于「注释行缩进」于「零」则「注释行缩进」否则「下一层缩进」于「当前缩进」于「最大行宽」
              否则「普通后缩进」而
            虑「后续行缩进」者若「当续类型」则「后当前缩进」否则「下一层缩进」于
              「后当前缩进」于「最大行宽」而「排版片列」于「后状态」于「余尾」于
              「后当前缩进」于「后续行缩进」于「结构缩进」于「最大行宽」于
              「强制平铺」于「模式分支缩进」
        ）
        或有「原换行片」于「换行数」于「原缩进」
        则（虑「取而结果」者「取片列首而字」于「尾」而
            虑「待而锚缩进」者若「取而结果」中「零」则「排版状态待而锚缩进」于
              「状态」
            否则
              「减」于「零」于「一」而
            虑「当虑而」者「非」
              于（「小于」于「待而锚缩进」于「零」）而
            虑「当合而」者「且」
              于（「排版状态当前行有化」于「状态」）
              于（「取而结果」中「零」）而
            虑「当续类型」者「且」
              于（「排版状态当前行有化」于「状态」）
              于（「且」于（「排版状态当前行有而」于「状态」）
                于（「且」于（「非」于（「排版状态当前行有会」于「状态」））
                  于（「非」于（「排版状态当前行含」于『者』于「状态」））））而
            虑「乃单而行」者「字符串相等吗」
              于（「去行首空格」于（「反片段当前行文字」于（「排版状态片段」于「状态」）））于
                『而』而
            虑「当略深换行」者「且」
              于（「非」于「乃单而行」）
              于（「且」
                于（「等于」于「换行数」于「一」）
                于（「大于」于「当前缩进」于（「除以」于「最大行宽」于「三」）））
            而
            虑「分支后括号长度」者「片列首括号扁平长度」于「尾」而
            虑「分支后括号新行缩进」者「下一层缩进」于「当前缩进」于「最大行宽」
            而
            虑「分支后括号可另行平铺」者「且」
              于（「非」于（「小于」于「分支后括号长度」于「零」））
              于（「非」
              于（「大于」
              于（「加」于（「加」于「分支后括号新行缩进」于「分支后括号长度」）于（「乘」于「二」于「二」））于
                「最大行宽」））而
            虑「当合回分支括号」者「且」
              于（「或者」于（「排版状态末片段为」于『则』于「状态」）于（「排版状态末片段为」于『否则』于「状态」））
              于（「且」于（「片列首为括号」于「尾」）于（「非」于「分支后括号可另行平铺」））而
            虑「乃条件则首」者「片列首文字为」于『则』于「尾」而
            虑「乃可合顶层类型末也」者「且」
              于（「片列首文字为」于『也』于「尾」）
              于（「且」于（「排版状态当前行有化」于「状态」）
                于（「且」于（「等于」于（「排版状态当前行缩进」于「状态」）于「零」）
                  于（「非」于（「大于」
                    于（「加」于（「排版状态当前列」于「状态」）于「四」）
                    于「最大行宽」））））而
            虑「乃条件否则首」者「或者」
              于（「片列首文字为」于『否则』于「尾」）
              于（「片列首文字为」于『否则若』于「尾」）而
            虑「候选相应若缩进」者若「或者」于「乃条件则首」于「乃条件否则首」则
              「排版状态相应若缩进」于「状态」
              于（「减」于「零」于「一」）
            否则
              （「减」于「零」于「一」）而
            虑「当留条件分隔前换行」者「非」
              于（「小于」于「候选相应若缩进」于「零」）而若「或者」
                于（「排版状态末片段为」于『乃』于「状态」）
                于（「或者」于（「排版状态末片段为」于『即』于「状态」）
                  于（「排版状态末片段为」于『者』于「状态」））则
                虑「声明正文缩进」者「下一层缩进」
                  于（「排版状态当前行缩进」于「状态」）于「最大行宽」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「声明正文缩进」于「声明正文缩进」于「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「且」
              于（「排版状态当前行含」于『承』于「状态」）
              于（「排版状态末片段为」于『而』于「状态」）则
                虑「承链缩进」者「排版状态当前行缩进」于「状态」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「承链缩进」于「承链缩进」于「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「且」
              于（「排版状态当前行含」于『受』于「状态」）
              于（「排版状态末片段为」于『而』于「状态」）则
                虑「受链缩进」者「排版状态当前行缩进」于「状态」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「受链缩进」于「受链缩进」于「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「且」于（「片列首文字为」于『合』于「尾」）
              于（「是子字符串吗」于『即』于（「排版状态本声明文字」于「状态」））则
                虑「复合类型缩进」者若「大于」于（「排版状态当前行缩进」于「状态」）于「零」
                  则「排版状态当前行缩进」于「状态」否则「二」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「复合类型缩进」于「复合类型缩进」于「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「片列首文字为」于『与』于「尾」则
                虑「对子续行缩进」者「下一层缩进」
                  于（「排版状态当前行缩进」于「状态」）于「最大行宽」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「对子续行缩进」于「对子续行缩进」于「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「且」于（「片列首文字为」于『会』于「尾」）
              于（「大于」于（「字符列会数」于（「获取字符」于（「反片段当前行文字」于（「排版状态片段」于「状态」））））于「一」）则
                「排版片列」于「状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」
                  于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「且」于（「排版状态当前行含」于『递归虑』于「状态」）
              于（「且」于（「排版状态当前行有化」于「状态」）
                于（「片列首为原子」于「尾」））则
                「排版片列」于「状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」
                  于「最大行宽」于「强制平铺」于「模式分支缩进」
            否则若「且」
              于（「排版状态末片段为」于『【』于「状态」）
              于（「大于」于「换行数」于「零」）则
                虑「方括号内缩进」者「下一层缩进」
                  于（「排版状态当前行缩进」于「状态」）于「最大行宽」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「方括号内缩进」于「方括号内缩进」于「结构缩进」于「最大行宽」
                  于「强制平铺」于「模式分支缩进」
            否则若「片列首文字为」于『】』于「尾」则
                虑「方括号闭缩进」者若「大于」于（「排版状态当前行缩进」于「状态」）于「二」
                  则「减」于（「排版状态当前行缩进」于「状态」）于「二」否则「零」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「方括号闭缩进」于「方括号闭缩进」于「结构缩进」于「最大行宽」
                  于「强制平铺」于「模式分支缩进」
            否则若「排版状态末片段为」于『，』于「状态」则
                虑「方括号项缩进」者「排版状态当前行缩进」于「状态」而
                「排版片列」于（「排版状态保证换行」于「状态」于「一」）于「尾」
                  于「方括号项缩进」于「方括号项缩进」于「结构缩进」于「最大行宽」
                  于「强制平铺」于「模式分支缩进」
            否则若「且」
              于（「排版状态末片段为」于『递归』于「状态」）
              于（「片列首文字为」于『虑』于「尾」）则「排版片列」于「状态」于
              「尾」于「当前缩进」于「续行缩进」于「结构缩进」于「最大行宽」于
              「强制平铺」于「模式分支缩进」否则若「乃可合顶层类型末也」则
                「排版片列」于「状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」于「最大行宽」于
                「强制平铺」于「模式分支缩进」否则若「当合回分支括号」则
                「排版片列」于「状态」于「尾」于「当前缩进」于「续行缩进」于
                「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」否则若
              「当虑而」则
                虑「而行状态」者「排版状态准备缩进」
                于（「排版状态保证换行」于「状态」于「一」）于「待而锚缩进」
                而
                虑「正文前状态」者「排版状态保证换行」
                于（「排版状态追加」于「而行状态」于『而』）于「一」
                而
                虑「正文缩进」者「待而锚缩进」
                而
                「排版片列」于「正文前状态」
                于（「去片列首原换行」于（「取而结果」中「一」））于「正文缩进」
                于（「下一层缩进」于「正文缩进」于「最大行宽」）于「结构缩进」于
                「最大行宽」于「强制平铺」于「模式分支缩进」否则若「且」
                于（「非」于「当留条件分隔前换行」）
                于（「或者」于「强制平铺」于「当略深换行」）则「排版片列」于
                「状态」于「尾」于「当前缩进」于「续行缩进」于「结构缩进」于
                「最大行宽」于「强制平铺」于「模式分支缩进」否则若「当合而」则
                  虑「而后状态」者「排版状态保证换行」
                  于（「排版状态追加」于「状态」于『而』）于「一」
                  而
                  「排版片列」于「而后状态」
                  于（「去片列首原换行」于（「取而结果」中「一」））于
                  「续行缩进」于「续行缩进」于「结构缩进」于「最大行宽」于
                  「强制平铺」于「模式分支缩进」否则若「当续类型」则
                    虑「类型后状态」者「排版状态保证换行」于「状态」于「一」
                    而
                    虑「类型链缩进」者若「大于」于（「排版状态当前行缩进」于「状态」）于「零」
                      则「排版状态当前行缩进」于「状态」否则「下一层缩进」于「当前缩进」于「最大行宽」而
                    「排版片列」于「类型后状态」于「尾」于「类型链缩进」于
                    「类型链缩进」于「结构缩进」于「最大行宽」于「强制平铺」于
                    「模式分支缩进」否则若「排版状态末片段为」于『虑』于「状态」
                    则
                      「排版片列」于「状态」于「尾」于「当前缩进」于「续行缩进」于
                      「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
                    否则若「且」
                    于（「排版状态末片段为」于『于』于「状态」）
                    于（「片列首为括号」于「尾」）则「排版片列」于「状态」于
                    「尾」于「当前缩进」于「续行缩进」于「结构缩进」于
                    「最大行宽」于「强制平铺」于「模式分支缩进」否则若
                    「片列首为分号」于「尾」则「排版片列」于「状态」于「尾」于
                    「当前缩进」于「续行缩进」于「结构缩进」于「最大行宽」于
                    「强制平铺」于「模式分支缩进」
                    否则
                      虑「实际换行数」者若「大于」于「换行数」于「二」则「二」否则
                        「换行数」
                      而
                      虑「规范原缩进」者「乘」
                      于（「除以」于（「加」于「原缩进」于「一」）于「二」）于
                      「二」
                      而
                      虑「已有格式换行」者「大于」
                      于（「排版状态连续换行数」于「状态」）于「零」
                      而
                      虑「缩进结果」者「计算原换行缩进」于「当前缩进」于
                      「结构缩进」于「最大行宽」于「已有格式换行」于
                      「规范原缩进」
                      于（「排版状态缩进栈」于「状态」）
                      而
                      虑「原定缩进」者「缩进结果」中「零」
                      而
                      虑「乃抽象函数体」者「且」
                      于（「非」于（「排版状态当前行有鉴」于「状态」））
                      于（「且」于（「排版状态当前行有会」于「状态」）于（「排版状态末片段为」于『而』于「状态」））
                      而
                      虑「当前行实文」者「去行首空格」
                      于（「反片段当前行文字」于（「排版状态片段」于「状态」））
                      而
                      虑「末虑锚」者「排版状态末虑锚」于「状态」
                      而
                      虑「乃虑正文」者「且」
                      于（「排版状态末片段为」于『而』于「状态」）
                      于（「非」于（「小于」于「末虑锚」于「零」））
                      而
                      虑「乃单而正文」者「字符串相等吗」于「当前行实文」于『而』
                      而
                      虑「乃类型链续行」者「且」
                        于（「排版状态当前行有化」于「状态」）
                        于（「且」于（「排版状态末片段为」于『而』于「状态」）
                          于（「且」于（「非」于（「片列首文字为」于『也』于「尾」））
                            于（「且」于（「非」于（「排版状态当前行有会」于「状态」））
                              于（「非」于（「排版状态当前行含」于『者』于「状态」）））））
                      而
                      虑「乃平化会链」者「且」
                        于（「排版状态当前行有会」于「状态」）
                        于（「且」于（「非」于（「排版状态当前行含」于『（』于「状态」））
                          于（「非」于（「是子字符串吗」于『者会』于（「排版状态本声明文字」于「状态」））））
                      而
                      虑「乃递归绑定体」者「且」
                        于（「排版状态当前行含」于『递归虑』于「状态」）
                        于（「排版状态末片段为」于『而』于「状态」）
                      而
                      虑「乃函数体」者「或者」于「乃抽象函数体」
                      于（「排版状态末片段为」于『者』于「状态」）
                      而
                      虑「可能虑值」者「且」
                      于（「排版状态末片段为」于『者』于「状态」）
                      于（「是子字符串吗」于『虑』于「当前行实文」）
                      而
                      虑「虑值锚缩进」者若「可能虑值」则「排版状态待而锚缩进」于
                      「状态」
                      否则
                        「减」于「零」于「一」
                      而
                      虑「乃虑值」者「非」
                      于（「小于」于「虑值锚缩进」于「零」）
                      而
                      虑「乃分支体」者「或者」
                      于（「排版状态末片段为」于『则』于「状态」）
                      于（「排版状态末片段为」于『否则』于「状态」）
                      而
                      虑「乃续行」者「或者」
                      于（「或者」
                      于（「排版状态末片段为」于『于』于「状态」）
                      于（「或者」于（「排版状态末片段为」于『附』于「状态」）
                        于（「排版状态末片段为」于『授以』于「状态」）））
                      于（「或者」于（「片列首文字为」于『于』于「尾」）
                        于（「或者」于（「片列首文字为」于『附』于「尾」）
                          于（「片列首文字为」于『授以』于「尾」）））
                      而
                      虑「乃续行标记」者「或者」于（「片列首文字为」于『于』于「尾」）
                        于（「或者」于（「片列首文字为」于『附』于「尾」）
                          于（「片列首文字为」于『授以』于「尾」））而
                      虑「当前行缩进」者「排版状态当前行缩进」于「状态」
                      而
                      虑「乃则」者「片列首文字为」于『则』于「尾」
                      而
                      虑「乃否则」者「或者」
                      于（「片列首文字为」于『否则』于「尾」）
                      于（「片列首文字为」于『否则若』于「尾」）
                      而
                      虑「相应若缩进」者若「或者」于「乃则」于「乃否则」则若
                    「当留条件分隔前换行」则「候选相应若缩进」否则「当前行缩进」
                      否则
                        「当前行缩进」
                      而
                      虑「乃分支则」者「且」
                      于（「非」于（「小于」于「模式分支缩进」于「零」））
                      于（「且」于（「等于」于「当前行缩进」于「模式分支缩进」）于（「片列首文字为」于『则』于「尾」））
                      而
                      虑「函数正文缩进」者若「乃虑值」则「加」于「虑值锚缩进」于
                      「二」
                      否则
                        「下一层缩进」
                        于（「排版状态当前行缩进」于「状态」）于「最大行宽」
                      而
                      虑「正文缩进」者若「乃函数体」则「函数正文缩进」否则
                        若「且」于（「排版状态末片段为」于『则』于「状态」）
                          于（「且」于（「非」于「乃分支则」）
                            于（「且」于（「非」于（「排版状态当前行含」于『有』于「状态」））
                              于（「且」于（「非」于（「排版状态当前行含」于『或有』于「状态」））
                                于（「非」于（「小于」于（「排版状态相应若缩进」于「状态」于（「减」于「零」于「一」））于「零」）））））
                        则「下一层缩进」于（「排版状态相应若缩进」于「状态」于「当前缩进」）于「最大行宽」
                        否则「下一层缩进」于「当前缩进」于「最大行宽」
                      而
                      虑「当缩正文」者「或者」于「乃函数体」于「乃分支体」
                      而
                      虑「续行不退缩进」者若「排版状态末片段为右括号」于「状态」则「当前行缩进」
                        否则若「排版状态当前行含」于『（』于「状态」则
                          「下一层缩进」于「当前行缩进」于「最大行宽」
                        否则若「或者」于（「排版状态当前行含」于『于』于「状态」）
                          于（「或者」于（「排版状态当前行含」于『附』于「状态」）
                            于（「且」于（「排版状态当前行含」于『授以』于「状态」）
                              于（「大于」于（「排版状态当前行缩进」于「状态」）于「二」）））则
                          「当前行缩进」
                        否则
                          「下一层缩进」于「当前行缩进」于「最大行宽」
                      而
                      虑「实际缩进」者若「且」于（「等于」于「当前缩进」于「零」）
                        于（「且」于（「大于」于（「排版状态连续换行数」于「状态」）于「零」）
                          于（「非」于「乃函数体」））则「零」否则若
                        「乃类型链续行」则
                          若「大于」于「当前行缩进」于「零」则「当前行缩进」否则「二」
                        否则若「乃平化会链」则「当前行缩进」
                        否则若「乃递归绑定体」则「下一层缩进」于「当前行缩进」于「最大行宽」
                        否则若「乃虑正文」则「末虑锚」否则若
                    「乃单而正文」则「当前行缩进」否则若「乃函数体」则
                      「函数正文缩进」否则若「乃分支则」则「模式分支缩进」否则若
                    「乃则」则「相应若缩进」否则若「乃否则」则「相应若缩进」
                    否则若「乃续行标记」则「续行不退缩进」否则若「且」于「乃续行」
                    于（「大于」于「续行不退缩进」于「原定缩进」）则
                      「续行不退缩进」否则若「且」于「当缩正文」
                      于（「大于」于「正文缩进」于「原定缩进」）则「正文缩进」
                      否则
                        「原定缩进」
                      而
                      虑「相邻行缩进上限」者若「大于」于（「排版状态连续换行数」于「状态」）于「零」
                        则「当前缩进」否则「下一层缩进」于「当前行缩进」于「最大行宽」而
                      虑「可信缩进上限」者若「大于」于「结构缩进」于「相邻行缩进上限」
                        则「结构缩进」否则「相邻行缩进上限」而
                      虑「正文修正上限」者若「且」于「乃分支体」于（「大于」于「正文缩进」于「可信缩进上限」）
                        则「正文缩进」否则「可信缩进上限」而
                      虑「规范实际缩进」者若「大于」于「实际缩进」于「可信缩进上限」
                        则「正文修正上限」否则「实际缩进」而
                      虑「换行状态」者「排版状态保证换行」于「状态」于
                      「实际换行数」
                      而
                      虑「后状态」者「排版状态设置缩进栈」于「换行状态」
                      于（「缩进结果」中「一」）
                      而
                      「排版片列」于「后状态」于「尾」于「规范实际缩进」
                      于（「下一层缩进」于「规范实际缩进」于「最大行宽」）于
                      「结构缩进」于「最大行宽」于「强制平铺」于「模式分支缩进」
        ）
        或有「构造器缩进片」则（虑「换行状态」者「排版状态保证换行」于「状态」于「一」而
                                「排版片列」于「换行状态」于「尾」于「二」于「四」于「零」于「最大行宽」于「强制平铺」
                                于（「减」于「零」于「一」）））
也。

「确认带注释编译单元」乃化「带注释编译单元」而「有」也。
「确认带注释编译单元」者会「单元」而
  鉴「单元」而有「构造带注释编译单元」于「忽略声明列」于「忽略文件尾注释」则「元」
也。

「注释方向相等」乃化「注释方向」而化「注释方向」而「爻」也。
「注释方向相等」者会「甲」而会「乙」而
  鉴「甲」与「乙」而
    有「前置注释」与「前置注释」则「阳」
    或有「后置注释」与「后置注释」则「阳」
    或有「其他」则「阴」
也。

「词法相等」乃化「表达式」而化「表达式」而「爻」也。
「词法相等」者会「甲」而会「乙」而
  鉴「甲」与「乙」而
    有（「自由变量」于「名称甲」）与（「自由变量」于「名称乙」）则「字符串相等吗」于「名称甲」于「名称乙」
    或有（「式节点」于（「字符串节点」于「文字甲」）于「罄」）与（「式节点」于（「字符串节点」于「文字乙」）于「罄」）则
      「字符串相等吗」于「文字甲」于「文字乙」
    或有（「式节点」于（「具体字符节点」于「字符甲」）于「罄」）与（「式节点」
      于（「具体字符节点」于「字符乙」）于
      「罄」
    ）则
      「字符串相等吗」于「字符甲」于「字符乙」
    或有（「式节点」于（「词法注释节点」于「文字甲」于「方向甲」）于「罄」）与（「式节点」
      于（「词法注释节点」于「文字乙」于「方向乙」）于「罄」
    ）则
      「且」于（「字符串相等吗」于「文字甲」于「文字乙」）于（「注释方向相等」于「方向甲」于「方向乙」）
    或有「其他」则「阴」
也。

「词法列相等」乃化（「列」于「表达式」）而化（「列」于「表达式」）而「爻」也。
「词法列相等」者会「甲」而会「乙」而
  鉴「甲」与「乙」而
    有「罄」与「罄」则「阳」
    或有（「缀」于「甲首」于「甲尾」）与（「缀」于「乙首」于「乙尾」）则
      「且」于（「词法相等」于「甲首」于「乙首」）于（「词法列相等」于「甲尾」于「乙尾」）
    或有「其他」则「阴」
也。

「格式化源码一次」乃化「字符串」 「：文件名，仅用于语法诊断：」而
  化「整数」而化「字符串」而「字符串」也。
「格式化源码一次」者会「文件名」而会「最大行宽」而会「源码」而
  若「小于」于「最大行宽」于「一零」则「发生事故」于『最大行宽不可小于十』否则
    虑「标准行尾源码」者「归一代码行尾」于「源码」而
    虑「词法列」者「词法解析顶层」于「标准行尾源码」而
    虑「无」者若「串结尾是它吗」于『。包。豫』于「文件名」则「元」否则（
      虑「带注释单元」者「抽象语法解析编译单元带注释」于「文件名」于「词法列」而
      「确认带注释编译单元」于「带注释单元」
    ）而
    虑「布局」者「扫描源码布局」于（「获取字符」于「标准行尾源码」）而
    虑「布局词法列」者「结合源码布局与词法」于「布局」于「词法列」而
    虑「片们」者「标注构造器缩进」于「阴」于（「拆模式文字片列」
      于（「合并相邻文字片」于（「词法转排版片列」于「布局词法列」）））而
    虑「初态」者「构造排版状态」于「罄」于「零」于「零」于「罄」于「罄」
      于（「减」于「零」于「一」）而
    虑「末态」者「排版片列」于「初态」于「片们」于「零」于「二」于「零」于「最大行宽」于「阴」
      于（「减」于「零」于「一」）而
    「排版状态结果」于（「排版状态保证换行」于「末态」于「一」）
也。

「串字节序早」乃化「字符串」而化「字符串」而「爻」也。
「串字节序早」者会「甲」而会「乙」而
  虑「甲长」者「字节长度」于「甲」而
  虑「乙长」者「字节长度」于「乙」而
  递归虑「逐字」其化「整数」而「爻」者会「位」而
    若「等于」于「位」于「甲长」则「阳」否则若「等于」于「位」于「乙长」则「阴」否则
      虑「甲码」者「字符转整数」于「甲」于「位」而
      虑「乙码」者「字符转整数」于「乙」于「位」而
      若「小于」于「甲码」于「乙码」则「阳」否则若「大于」于「甲码」于「乙码」则「阴」否则
        「逐字」于（「加」于「位」于「一」）
  而
  「逐字」于「零」
也。

「择循环排版」乃化「字符串」而化「字符串」而「字符串」也。
「择循环排版」者会「甲」而会「乙」而
  虑「甲宽」者「字符串显示宽度」于「甲」而
  虑「乙宽」者「字符串显示宽度」于「乙」而
  若「大于」于「甲宽」于「乙宽」则「甲」否则若「小于」于「甲宽」于「乙宽」则「乙」否则
    若「串字节序早」于「甲」于「乙」则「甲」否则「乙」
也。

「格式化源码至稳定」乃化「整数」而化「字符串」而化「整数」而化「字符串」而「字符串」也。
「格式化源码至稳定」者会「剩余次数」而会「文件名」而会「最大行宽」而会「源码」而
  若「小于」于「剩余次数」于「二」则「发生事故」于『源码排版未能收敛到稳定结果』否则
    虑「结果」者「格式化源码一次」于「文件名」于「最大行宽」于「源码」而
    若「字符串相等吗」于「结果」于「源码」则「结果」否则
      虑「再排结果」者「格式化源码一次」于「文件名」于「最大行宽」于「结果」而
      若「字符串相等吗」于「再排结果」于「结果」则「结果」否则
        若「字符串相等吗」于「再排结果」于「源码」则「择循环排版」于「源码」于「结果」否则
          「格式化源码至稳定」于（「减」于「剩余次数」于「二」）于「文件名」于「最大行宽」于「再排结果」
也。

「格式化源码」乃化「字符串」 「：文件名，仅用于语法诊断：」而
  化「整数」而化「字符串」而「字符串」也。
「格式化源码」者会「文件名」而会「最大行宽」而会「源码」而
  虑「标准行尾源码」者「归一代码行尾」于「源码」而
  虑「结果」者「格式化源码至稳定」于（「乘」于「五」于「一零」）于「文件名」于「最大行宽」于「标准行尾源码」而
  若「词法列相等」于（「词法解析顶层」于「标准行尾源码」）于（「词法解析顶层」于「结果」）
  则
    「结果」
  否则
    「发生事故」于（『源码排版改变了词法内容或注释方向：』附「文件名」）
也。