DEFINITION MODULE Conversions;
(* Classic scalar <-> string conversions.  Output strings are
   NUL-terminated; the StrTo* functions return FALSE when the whole
   string is not a valid literal of the target type. *)

PROCEDURE IntToStr(n : INTEGER; VAR s : ARRAY OF CHAR);
PROCEDURE CardToStr(n : CARDINAL; VAR s : ARRAY OF CHAR);
PROCEDURE RealToStr(x : REAL; VAR s : ARRAY OF CHAR);

PROCEDURE StrToInt(s : ARRAY OF CHAR; VAR n : INTEGER) : BOOLEAN;
PROCEDURE StrToCard(s : ARRAY OF CHAR; VAR n : CARDINAL) : BOOLEAN;
PROCEDURE StrToReal(VAR s : ARRAY OF CHAR; VAR x : REAL) : BOOLEAN;

END Conversions.