id is an identifier and
T a type other than an open array
idas 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.