DEFINITION MODULE TextIO;
(* ISO-style text output, layered over SysIO. *)

PROCEDURE WriteString(VAR s : ARRAY OF CHAR);
PROCEDURE WriteLn;
PROCEDURE WriteInt(n : INTEGER);
PROCEDURE WriteCard(n : CARDINAL);
PROCEDURE WriteChar(c : CHAR);

END TextIO.