M2compiler-V3/stdlib/stextio.def

DEFINITION MODULE STextIO;
(* ISO 10514-1: character and string I/O over the default channels. *)

PROCEDURE ReadChar (VAR ch : CHAR);
PROCEDURE ReadRestLine (VAR s : ARRAY OF CHAR);
PROCEDURE ReadString (VAR s : ARRAY OF CHAR);
PROCEDURE ReadToken (VAR s : ARRAY OF CHAR);
PROCEDURE SkipLine;
PROCEDURE WriteChar (ch : CHAR);
PROCEDURE WriteLn;
PROCEDURE WriteString (s : ARRAY OF CHAR);

END STextIO.