This expression raises the given exception. $\,\langle$ exp $\rangle\,$ must be of exception type exn. The type of this expression depends on the context; if there is no restriction on types, this exception has a polymorphic type ’a.

This expression evaluates $\,\langle$ exp $\rangle\,$ to an exception and raise it. Therefore, this expression does not have any value.

19.15 Exception expression raise ⟨exp⟩

19.15 Exception expression raise $\,\langle$ exp $\rangle\,$