DEFINITION MODULE M2EXCEPTION; (* ISO 10514-1 language-exception identification. *) TYPE M2Exceptions = (indexException, rangeException, caseSelectException, invalidLocation, functionException, wholeValueException, wholeDivException, realValueException, realDivException, complexValueException, complexDivException, protException, sysException, coException, exException); PROCEDURE M2Exception () : M2Exceptions; PROCEDURE IsM2Exception () : BOOLEAN; END M2EXCEPTION.