DEFINITION MODULE IOConsts;

(* Types and constants for input/output modules *)

TYPE	(* This type is used to classify the result of an input operation: *)
  ReadResults = (
        notKnown,         (* no read result is set *)
        allRight,         (* data is as expected or as required *)
        outOfRange,       (* data cannot be represented *)
        wrongFormat,      (* data not in expected format *)
        endOfLine,        (* end of line seen befopre expected data *)
        endOfInput        (* end of input seen before expected data *)
  );

END IOConsts.

