13.9 Iget Interface

ORIGIN 'betaenv';
BODY 'private/igetbody';
(*
 * COPYRIGHT
 *       Copyright (C) Mjolner Informatics, 1984-96
 *       All rights reserved.
 *
 *)
--LIB: attributes--
iget:
  (* Pattern to get a single character from the keyboard immediately
   * without having to type <RETURN> after the character.
   *)
  (# ch: @char;
  ...
  exit ch
  #)