模块 测试.关键字。

定义 状态 包含 已启用，已删除。

规则 测试或者 给定 甲，乙，产出：
  返回 甲 或者 乙。

规则 测试并且 给定 甲，乙，产出：
  返回 甲 并且 乙。

规则 测试不是 给定 甲，产出：
  返回 不是 甲。

规则 测试字面量，产出：
  令 t 定义为 真值。
  令 f 定义为 假值。
  令 n 定义为 空值。
  返回 t。

规则 测试算术 给定 甲，乙，产出：
  令 和 定义为 甲 加上 乙。
  令 差 定义为 甲 减去 乙。
  令 积 定义为 甲 乘以 乙。
  返回 和。

规则 测试属于 给定 数列，产出：
  对每个 x 属于 数列：
    返回 x。
  返回 空值。

规则 测试匹配 给定 状态，产出：
  匹配于 状态：
    当 已启用，返回 「开」。
    当 已删除，返回 「关」。