Exit_with_

Definitions:

continuation, any
Source: /avail/Avail/Foundation/Bootstrap/Fallible Primitives
Categories: Primitives, Continuations, Control Structures
Exit the continuation and answer the specified value to the continuation's caller. Execution proceeds as though the continuation had just returned from its current function with the supplied value. The current continuation (in which this primitive was invoked) is completely replaced by the specified continuation's resumed caller.
Position Name Type Description
Parameters
1 aContinuation continuation The continuation to exit.
2 value any The value with which to exit aContinuation.
Returns
Raises
continuation-expected-stronger-type exception

Semantic restrictions:

continuation meta, any meta
Source: /avail/Avail/Foundation/Control Structures
Reject the current parse unless the value supplied upon exit of a continuation conforms to its function type's return type.
Type Description
Parameter Types
continuation meta
any meta