The normative definition for function type is described as [dcl.fct#3]
function type
A type of either form is a function type.
My r