M2compiler-V3/stdlib/ioconsts.def

DEFINITION MODULE IOConsts;
(* ISO 10514-1: classification of an input operation result. *)

TYPE
  ReadResults = (notKnown, allRight, outOfRange, wrongFormat,
                 endOfLine, endOfInput);

END IOConsts.