function
Answer the metatype for all function types. This is just an instance type on the most general type.
Return
The (meta-)type of the function type "…→⊤".
Answer the metatype for all function types. This is just an instance type on the most general type.
The (meta-)type of the function type "…→⊤".