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);

(* Unicode output: codepoints are encoded as UTF-8 bytes. *)
PROCEDURE UWriteChar(cp : UCHAR);
PROCEDURE UWriteString(VAR u : ARRAY OF UCHAR);
PROCEDURE UWriteLn;

END TextIO.