ExitΒΆ
any.spad line 197 [edit on github]
A function which does not return directly to its caller should have Exit as its return type. Note: It is convenient to have a formal coerce into each type from type Exit. This allows, for example, errors to be raised in one half of a type-balanced if.
- coerce: % -> OutputForm
from CoercibleTo OutputForm
- latex: % -> String
from SetCategory