寻观「标准库」之书。

「结果」立「元类型」也。
  「已得整数」立化「整数」而「结果」也。
  「仍需等待」立「结果」也。

「：文言：诸注各有所附；汉语：以下注释分别附着在条件、分支和局部绑定附近。：」
「处理带注释的结果」乃化「结果」而「整数」也。
「处理带注释的结果」者会「输入」而
  鉴「输入」而
    有（「已得整数」于「值」）则（
      「：文言：先验已得。汉语：第一分支正文的前置注释。：」
      虑「翻倍值」者「乘」于「值」于「二」而
      若「大于」于「翻倍值」于「一零」则
        「翻倍值」
      否则
        「加」于「翻倍值」于「一」
    ）
    或有「仍需等待」则
      「：文言：后验待时。汉语：第二分支正文的前置注释。：」
      「零」
也。
