M2compiler-V3/stdlib/srealio.def

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

PROCEDURE ReadReal (VAR real : REAL);
PROCEDURE WriteFloat (real : REAL; sigFigs : CARDINAL; width : CARDINAL);
PROCEDURE WriteEng (real : REAL; sigFigs : CARDINAL; width : CARDINAL);
PROCEDURE WriteFixed (real : REAL; place : INTEGER; width : CARDINAL);
PROCEDURE WriteReal (real : REAL; width : CARDINAL);

END SRealIO.