寻观「标准库」之书。

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

「文件定义列前加」乃
  化「字符串」而
  化「表达式」而
  化「文件定义列」而
  「文件定义列」
也。
「文件定义列前加」者会「名」而会「式」而会「尾定义列」而
  「缀」于（「名」与「阳」与「式」）于「尾定义列」
也。

「文件定义列项名」乃化（「字符串」合「爻」合「表达式」）而「字符串」也。
「文件定义列项名」者会「项」而
  「三对子取零」于「项」
也。

「文件定义列项公开性」乃化（「字符串」合「爻」合「表达式」）而「爻」也。
「文件定义列项公开性」者会「项」而
  「三对子取一」于「项」
也。

「文件定义列项表达式」乃化（「字符串」合「爻」合「表达式」）而「表达式」也。
「文件定义列项表达式」者会「项」而
  「三对子取二」于「项」
也。

「收集文件定义列标签」乃化「文件定义列」而「列」于「字符串」也。
「收集文件定义列标签」者会「定义列」而
  （「态射」）于「定义列」于「文件定义列项名」
也。

「文件定义列投影」乃
  化「文件定义列」而
  化「字符串」而
  「或可有」
    于（「表达式」合「整数」）
也。
「文件定义列投影」者会「定义列」而会「搜索名」而
  鉴（（「查找元素序数」授以「字符串」）于「串相等」于「搜索名」于（「收集文件定义列标签」于「定义列」））而
    有「可无」则「可无」
    或有（「可有」于「序数」）则
      （「可有」于（（「文件定义列项表达式」于（「第N个」于「序数」于「定义列」））与「序数」））
也。
