DEFINITION MODULE RawIO;

(* Reading and writing data over specified channels using raw operations,
   that is, with no conversion or interpretation.
   The read result is of the type IOConsts.ReadResults.
*)

FROM IOChan IMPORT ChanId;
FROM SYSTEM IMPORT LOC;

PROCEDURE Read (    cid      : ChanId;
                VAR to       : ARRAY OF LOC);
(* Reads storage units and assigns to successive components of the
   parameter to. The read result is set to the value allRight, 
   wrongFormat, or endOfInput *)

PROCEDURE Write (cid     : ChanId;
                 from    : ARRAY OF LOC);
(* Writes storage units from successive components of the parameter from *)

END RawIO.