DEFINITION MODULE Keyboard ; EXPORT QUALIFIED Read, KeyPressed ; (* Read - reads a character from StdIn. If necessary it will wait for a key to become present on StdIn. *) PROCEDURE Read (VAR ch: CHAR) ; (* KeyPressed - returns TRUE if a character can be read from StdIn without blocking the caller. *) PROCEDURE KeyPressed () : BOOLEAN ; END Keyboard.