DEFINITION MODULE Terminal;

PROCEDURE Read (VAR theItem : <anyType>);
(* This is a macro that the compiler expands to TypeOf (theItem).Read (StdIO.StdInFile (), theItem) *)
(* Pre: theItem.Read is visible in the requesting scope *)
(* Post: theItem is read from the currently defined standard output file and assigned to theItem *)

PROCEDURE Write (theItem : <anyType>);
(* This is a macro that the compiler expands to TypeOf (theItem).Write (StdIO.StdOutFile (), theItem) *)
(* Pre: theItem.Write is visible in the requesting scope *)
(* Post: theItem is written to the currently defined standard output file *)

END Terminal.