M2compiler-V3/stdlib/numberio.mod

IMPLEMENTATION MODULE NumberIO;
IMPORT InOut;

PROCEDURE ReadInt (VAR x : INTEGER);
BEGIN InOut.ReadInt(x) END ReadInt;

PROCEDURE ReadCard (VAR x : CARDINAL);
BEGIN InOut.ReadCard(x) END ReadCard;

PROCEDURE WriteInt (x : INTEGER; width : CARDINAL);
BEGIN InOut.WriteInt(x, width) END WriteInt;

PROCEDURE WriteCard (x : CARDINAL; width : CARDINAL);
BEGIN InOut.WriteCard(x, width) END WriteCard;

END NumberIO.