Allocation a function type.
function type
types of the function parameters
if ... function
return type
Tcount already incremented
See Implementation
Allocation a function type.