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.