DEFINITION MODULE StrIO;
(* Simple string / whole-number terminal I/O (gm2-compatible names and
   extensions).  All output goes to standard output; input is read from
   standard input. *)

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

PROCEDURE ReadString (VAR s : ARRAY OF CHAR);
(* Reads one line from standard input, dropping the newline. *)
PROCEDURE ReadChar () : CHAR;
PROCEDURE ReadInt () : INTEGER;
PROCEDURE ReadCard () : CARDINAL;

END StrIO.