t_rel.mod 56 B

12345
  1. MODULE T;
  2. VAR b : BOOLEAN;
  3. BEGIN
  4. b := 1 = TRUE
  5. END T.