寻观「标准库」之书。

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。

「编译单元」立「元类型」也。
  「已从缓存加载」立化（「或可有」于「表达式」） 「：抽象语法：」而
    化（「或可有」于「表达式」） 「：检查后定义：」而
    化（「列」于「字符串」 「：依赖路径：」
    ）
            而化（「或可有」于「表达式」） 「：正规形式：」而
              化（「或可有」于「有」）而「编译单元」也。
  「已编译」立化（「表达式」 「：抽象语法：」
  ）
        而化（「表达式」 「：检查后定义：」
        ）
        而化（「列」于「字符串」 「：依赖路径：」
        ）
        而化（「表达式」 「：正规形式：」
        ）
        而化（「或可有」于「有」）而「编译单元」也。
  「正在编译」立「编译单元」也。
  「尚未编译」立「编译单元」也。
