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.

= : (%, %) -> Boolean

from BasicType

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

latex : % -> String

from SetCategory

~= : (%, %) -> Boolean

from BasicType

BasicType

SetCategory

CoercibleTo(OutputForm)