function
fun functionTypeFromArgumentTupleType(argsTupleType: A_Type, returnType: A_Type?, exceptionSet: A_Set): A_Type
Answer a new function type whose instances accept arguments which, if collected in a tuple, match the specified tuple type. The instances of this function type should also produce values that conform to the return type, and may only raise checked exceptions whose instances are subtypes of one or more members of the supplied exception set.
Return
A function type.
Parameters
args
A tuple type describing the types of the arguments that instances should accept.
return
The type of value that an instance should produce.
exception
The set of checked exception types that an instance may raise.