寻观「标准库」之书。

寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树数据」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「抽象语法树表示」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「内建常量数据」之书。

「参式相等」乃化「参数形式」而化「参数形式」而「爻」也。
「参式相等」者会「参式甲」而会「参式乙」而
  （
    鉴「参式甲」与「参式乙」而
      有「显式」与「显式」则
        「阳」
      或有「隐式」与「隐式」则
        「阳」
      或有「合并式」与「合并式」则
        「阳」
      或有「其他」则「阴」
  ）
也。

「表达式相等」乃（化「表达式」而化「表达式」而「爻」）也。
「表达式相等」者会「式甲」而会「式乙」而
  虑「结果」者
    （「爻」也鉴「式甲」与「式乙」而
        有（「自由变量」于「串甲」）与（「自由变量」于「串乙」）则（「串相等」于「串甲」于「串乙」）
        或有「其他」则
          「发生事故」
            于『表达式相等只可判断自由变量相等，却得到了』附（「表达式表示」于「式甲」）附
              『，』附（「表达式表示」于「式乙」））
  而
  「结果」
也。

「内建常量相等」乃化「内建常量」而化「内建常量」而「爻」也。
「内建常量相等」者会「常量甲」而会「常量乙」而
  鉴「常量甲」与「常量乙」而
    有「内建类型字符串」与「内建类型字符串」则
      「阳」
    或有「内建类型整数」与「内建类型整数」则
      「阳」
    或有「内建类型小数」与「内建类型小数」则
      「阳」
    或有「内建类型动态分类值」与「内建类型动态分类值」则
      「阳」
    或有「内建类型有」与「内建类型有」则
      「阳」
    或有「内建类型爻」与「内建类型爻」则
      「阳」
    或有「内建类型元类型」与「内建类型元类型」则
      「阳」
    或有「内建爻阳」与「内建爻阳」则
      「阳」
    或有「内建爻阴」与「内建爻阴」则
      「阳」
    或有「内建有元」与「内建有元」则
      「阳」
    或有「内建函数抛出异常」与「内建函数抛出异常」则
      「阳」
    或有「内建函数尝试运行」与「内建函数尝试运行」则
      「阳」
    或有「内建函数整数相等」与「内建函数整数相等」则
      「阳」
    或有「内建函数整数大于」与「内建函数整数大于」则
      「阳」
    或有「内建函数整数减」与「内建函数整数减」则
      「阳」
    或有「内建函数以当前续延调用」与「内建函数以当前续延调用」则
      「阳」

    或有「其他」则「阴」
也。
