any.spad line 218
This package provides coercions for the special types Exit and Void.
- coerce: Exit -> S
coerce(e) is never really evaluated. This coercion is used for formal type correctness when a function will not return directly to its caller.
- coerce: S -> Void
coerce(s) throws all information about
s away. This coercion allows values of any type to appear in contexts where they will not be used. For example, it allows the resolution of different types in the
else branches when an
if is in a context where the resulting value is not used.