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

「构造检查后普通定义项」乃化「表达式」而化「表达式」而「表达式」也。
「构造检查后普通定义项」者会「类」而会「物」而
  「式节点」于「类型判断节点」于（（「列」【「类」，「物」】））
也。

「检查后定义项类及物」乃
  化「字符串」而
  化「字符串」而
  化「整数」而
  化「表达式」而
  「表达式」合「表达式」
也。
「检查后定义项类及物」者会「文件名」而会「定义名」而会「序数」而会「定义项」而
  鉴「定义项」而
    有（「式节点」于（「唯一构造器节点」于「构造器序数」于「文件路径」于「构造器名」）于（（「列」【「构造器类」】）））
    则
      「构造器类」与「定义项」
    或有（「式节点」于「类型定义节点」于（（「列」【「类型定义」】）））则
      「内建元类型式」与「类型定义」
    或有（「式节点」于「类型判断节点」于（（「列」【「定义类」，「定义式」】）））则
      「定义类」
  与（「文件定义引用式」于「文件名」于「定义名」于「序数」）
    或有（「式节点」于（「文件引用节点」于「投影文件名」）于「罄」）则
      「定义项」与「定义项」
    或有「其他」则
      「发生事故」
        于『检查后定义项不符合规范：』附「定义名」附『，文件：』附「文件名」附『，定义：』附（「表达式表示」于「其他」）
也。
