DEFINITION MODULE SRawIO;

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

FROM SYSTEM IMPORT LOC;


PROCEDURE Read (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 (from  : ARRAY OF LOC);
(* Writes storage units from successive components of the parameter from *)

END SRawIO.