function
Answer a new function type that doesn't specify how many arguments its conforming functions have. This is a useful kind of function type for discussing things like a general function invocation operation.
Return
A function type.
Parameters
return
The type of object returned by a function that conforms to the function type being defined.