ulm-lib-gm2/std/ReadIntCard
DEFINITION MODULE ReadIntCard;
FROM SYSTEM IMPORT WORD;
TYPE
Type = (int, card);
ReadProc = PROCEDURE(VAR CHAR);
VAR Done: BOOLEAN;
(* convention: ReadChar returns 0C on eof or error *)
PROCEDURE Read(VAR w: WORD; t: Type; ReadChar: ReadProc);
END ReadIntCard.