M2compiler-V3/stdlib/longwholeio.def

DEFINITION MODULE LongWholeIO;
(* ISO 10514-1: LONGINT/LONGCARD I/O over an IOChan channel. *)

IMPORT IOChan;

PROCEDURE ReadInt (cid : IOChan.ChanId; VAR int : LONGINT);
PROCEDURE WriteInt (cid : IOChan.ChanId; int : LONGINT; width : CARDINAL);
PROCEDURE ReadCard (cid : IOChan.ChanId; VAR card : LONGCARD);
PROCEDURE WriteCard (cid : IOChan.ChanId; card : LONGCARD; width : CARDINAL);

END LongWholeIO.