2.4.5 Exceptions

If id is an identifier and T a type other than an open array type, then:

    EXCEPTION id(T)

declares id as an exception with argument type T. If ``(T)'' is omitted, the exception takes no argument. An exception declaration is allowed only in an interface or in the outermost scope of a module. All declared exceptions are distinct.