MODULE EmptyString EXPORTS Main;

IMPORT IO,Text;

VAR
     Str:TEXT;
BEGIN
     (* Assign an empty string *)
     Str := "";
     (* Check if Str is empty *)
     IF Text.Empty(Str) THEN
	  IO.Put("Str is empty!\n");
     END;
     (* Same as above: *)
     IF Text.Length(Str) = 0 THEN
	  IO.Put("Str is empty!\n");
     END;
     (* To check for a non-empty string, negate any of the above
	conditions with NOT *)
END EmptyString.