_(«_‡,»)

Definitions:

function, tuple
Source: /avail/Avail/Foundation/Early Functions
Categories: Primitives, Function Application
Invoke the function with the lexically specified arguments. Answer its result.
Position Name Type Description
Parameters
1 aFunction function A function.
2 arguments tuple The tuple of arguments.
Returns The value produced by applying the arguments to the function.
continuation, tuple
Source: /avail/Avail/Foundation/Control Structures
Categories: Control Structures, Loops
Restart the continuation with the specified arguments. Execution proceeds as though the continuation's caller had just invoked the continuation's current function with the given arguments instead of the original arguments. The current continuation (in which this primitive was invoked) is completely replaced by the restarted continuation.
Position Name Type Description
Parameters
1 aContinuation continuation The continuation to restart.
2 arguments tuple The new arguments with which to restart aContinuation.
Returns

Semantic restrictions:

continuation meta, tuple meta
Source: /avail/Avail/Foundation/Control Structures
Reject the current parse if the argument types do not conform to the continuation's parameter types.
Type Description
Parameter Types
continuation meta
tuple meta
function meta, tuple meta
Source: /avail/Avail/Foundation/Early Functions
Reject applications whose argument types do not conform to the function's parameter types.
Type Description
Parameter Types
function meta
tuple meta