Subtyping of functions

Redirect to:

• Subtyping#Function types