[«_‡,»]→_

Definitions:

tuple of any meta, type
Source: /avail/Avail/Foundation/Types
Categories: Functions, Types
Construct and answer a function type from the lexically specified argument types and return type.
Position Name Type Description
Parameters
1 argTypes tuple of any meta The lexically specified argument types.
2 returnType type The return type.
Returns function meta The requested function type.

Semantic restrictions:

tuple of any meta's type, type's type
Source: /avail/Avail/Foundation/Types
Function type construction can at least statically ensure the correct number of arguments and the return type.
Type Description
Parameter Types
tuple of any meta's type
type's type