odd.ob 155 B

1234567891011
  1. MODULE m;
  2. VAR i: INTEGER;
  3. BEGIN
  4. ASSERT(ODD(1));
  5. i := 4;
  6. ASSERT(ODD(1 + i));
  7. ASSERT(~ODD(2));
  8. ASSERT(ODD(ORD(TRUE OR FALSE)));
  9. END m.