寻观「标准库」之书。

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

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

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

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

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