Exit_

Definitions:

$[…]→⊤
Source: /avail/Avail/Foundation/Control Structures
Categories: Control Structures, Continuations
Exit the continuation. Execution proceeds as though the continuation had just returned from its current function. The current continuation is completely replaced by the specified continuation's resumed caller.
Position Name Type Description
Parameters
1 aContinuation $[…]→⊤ The continuation to exit.
Returns