模块 测试.关键字.

定义 状态 包含 已启用,已删除.

规则 测试或者 给定 甲,乙,产出:
  返回 甲 或者 乙.

规则 测试并且 给定 甲,乙,产出:
  返回 甲 并且 乙.

规则 测试不是 给定 甲,产出:
  返回 不是 甲.

规则 测试字面量,产出:
  令 t 定义为 真值.
  令 f 定义为 假值.
  令 n 定义为 空值.
  返回 t.

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

规则 测试属于 给定 数列,产出:
  对每个 x 属于 数列:
    返回 x.
  返回 空值.

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