ResolveLatticeCompletion SΒΆ

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 then and else branches when an if is in a context where the resulting value is not used.