function accepting_and returning_

Definitions:

tuple of any meta, type
Source: /avail/Avail/Foundation/Bootstrap/Infallible Primitives
Categories: Primitives, Types, Functions, Constructors
Construct and answer a function type with the specified parameter types and return type.
Position Name Type Description
Parameters
1 parameterTypes tuple of any meta The parameter types.
2 returnType type The return type.
Returns ([…]→⊤)'s type The requested function type. Instances of this type accept arguments whose types conform to the parameter types and whose return value conforms to the return type.

Semantic restrictions:

tuple of any meta's type, type's type
Source: /avail/Avail/Foundation/Very Early Definers
Statically strengthen just the return type. It's far too early in the bootstrapping to deal sensibly with the tuple of argument types here.
Type Description
Parameter Types
tuple of any meta's type
type's type