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
1 aContinuation continuation The continuation to exit.
2 value any The value with which to exit aContinuation.
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