ord.ob 200 B

123456789101112131415
  1. MODULE m;
  2. VAR
  3. ch: CHAR;
  4. set: SET;
  5. BEGIN
  6. ch := "a";
  7. ASSERT(ORD(ch) = ORD("a"));
  8. set := {1};
  9. ASSERT(ORD({1}) = ORD(set));
  10. ASSERT(ORD(TRUE) = 1);
  11. ASSERT(ORD(FALSE) = 0)
  12. END m.