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

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory


CoercibleTo OutputForm