DEFINITION MODULE StrToReal;
PROCEDURE StrToReal(str: ARRAY OF CHAR; VAR real: REAL) : BOOLEAN;
(* converts str to the REAL real, leading white space is
ignored, returns FALSE if str does not conform to following
syntax:
["+" | "-"] digit { digit } ["." digit { digit } ]
["E" ["+" | "-"] digit [digit] ]
*)
END StrToReal.