M2compiler-V3/stdlib/swholeio.def

DEFINITION MODULE SWholeIO;
(* ISO 10514-1: whole-number I/O over the default channels. *)

PROCEDURE ReadInt (VAR int : INTEGER);
PROCEDURE WriteInt (int : INTEGER; width : CARDINAL);
PROCEDURE ReadCard (VAR card : CARDINAL);
PROCEDURE WriteCard (card : CARDINAL; width : CARDINAL);

END SWholeIO.