$[…]→⊤
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 | ⊥ |