寻观「标准库」之书。

「：文言：正则另立其类，不容旧树杂入。汉语：统一 ANF 的操作数、指令与区域使用独立数据类型，不保存通用表达式子树。：」
「正则值类」立「元类型」也。
  「正则通用值」立「正则值类」也。
  「正则整数值」立「正则值类」也。
  「正则小数值」立「正则值类」也。
  「正则爻值」立「正则值类」也。
  「正则单元值」立「正则值类」也。
  「正则对象值」立「正则值类」也。
  「正则代码值」立化「整数」而「正则值类」也。
  「正则退出令牌值」立「正则值类」也。

「正则原子」立「元类型」也。
  「正则局部」立化「整数」而「正则原子」也。
  「正则整数」立化「整数」而「正则原子」也。
  「正则小数」立化「字符串」而化「字符串」而「正则原子」也。
  「正则字符串」立化「字符串」而「正则原子」也。
  「正则函数引用」立化「字符串」而「正则原子」也。
  「正则单元」立「正则原子」也。
  「正则爻」立化「爻」而「正则原子」也。

「正则操作」立「元类型」也。
  「正则原语」立化「字符串」而「正则操作」也。
  「正则调用」立「正则操作」也。
  「正则造元组」立「正则操作」也。
  「正则取字段」立化「整数」而「正则操作」也。
  「正则写字段」立化「整数」而「正则操作」也。
  「正则造标签」立化「整数」而化「整数」而「正则操作」也。
  「正则取标签」立「正则操作」也。
  「正则取载荷」立「正则操作」也。
  「正则读全局」立化「字符串」而化「字符串」而化「整数」而「正则操作」也。
  「正则写全局」立化「字符串」而化「字符串」而化「整数」而「正则操作」也。
  「正则全局根地址」立化「字符串」而化「字符串」而化「整数」而「正则操作」也。

「正则区域」立「元类型」也。
「正则指令」立「元类型」也。
「正则结束」立「元类型」也。
  「正则运算」立化「整数」而化「正则值类」而化「正则操作」而化（「列」于「正则原子」）而「正则指令」也。
  「正则如果」立化「整数」而化「正则值类」而化「正则原子」而化「正则区域」而化「正则区域」而「正则指令」也。
  「正则退出域」立化「整数」而化「整数」而化「正则区域」而「正则指令」也。
  「正则结果块」立化「整数」而化「整数」而化「正则区域」而「正则指令」也。
  「正则循环」立化「整数」而化「整数」而化（「列」于（「整数」合「正则原子」））而化「正则区域」而「正则指令」也。
  「正则产出」立化「正则原子」而「正则结束」也。
  「正则返回」立化「正则原子」而「正则结束」也。
  「正则提前退出」立化「正则原子」而化「正则原子」而「正则结束」也。
  「正则退出块」立化「整数」而化「正则原子」而「正则结束」也。
  「正则继续」立化「整数」而化（「列」于「正则原子」）而「正则结束」也。
  「正则退出循环」立化「整数」而化「正则原子」而「正则结束」也。
  「正则尾调用」立化「正则原子」而化（「列」于「正则原子」）而「正则结束」也。
  「正则不可达」立「正则结束」也。
  「正则段」立化（「列」于「正则指令」）而化「正则结束」而「正则区域」也。

「正则函数」即
  「字符串」
  合「爻」
  合（「列」于「整数」）
  合「正则区域」
  合「整数」
也。

「：文言：名、公私、诸参、体、值号上界。汉语：函数参数与绑定使用函数内唯一整数 ID，最后一项供后端一次性分配局部槽。：」
「正则模块」即「列」于「正则函数」也。

「统一正则版本」者『豫言统一正则一』也。

「：文言：返回直离全函，产出唯于尾域可尾调。汉语：词法结果块中的显式函数返回仍是尾位置；活动处理域由后端另行限制。：」
「正则结果可尾」乃化「爻」而化「整数」而化「正则结束」而「爻」也。
「正则结果可尾」者会「尾域」而会「号」而会「终」而
  鉴「终」而
    有（「正则产出」于（「正则局部」于「返号」））则
      「且」于「尾域」于（「等于」于「号」于「返号」）
    或有（「正则返回」于（「正则局部」于「返号」））则
      「等于」于「号」于「返号」
    或有「其他」则「阴」
也。
