function
Answer a new function type whose instances accept arguments whose types conform to the corresponding entries in the provided tuple of types, produce values that conform to the return type, and raise no checked exceptions.
Return
A function type.