gm2-libs-pim/Display#

DEFINITION MODULE Display ;

EXPORT QUALIFIED Write ;

(*
   Write - display a character to the stdout.
           ASCII.EOL moves to the beginning of the next line.
           ASCII.del erases the character to the left of the cursor.
*)

Write
PROCEDURE Write (ch: CHAR) ;

END Display.