mostGeneralFunctionType

fun mostGeneralFunctionType(): A_Type

Answer the top (i.e., most general) function type.

Return

The function type "…→⊤".