avail
2.0.0.alpha23
jvm
avail
/
avail.descriptor.types
/
FunctionTypeDescriptor
/
Companion
/
mostGeneralFunctionType
most
General
Function
Type
fun
mostGeneralFunctionType
(
)
:
A_Type
Answer the top (i.e., most general) function type.
Return
The function type "…→⊤".