Function Types

^Syntax
FunctionType :
     ( FunctionTypeArguments^? ) -> Type

FunctionTypeArguments :
     Type ( , Type )^*

Example:

A function adding two integers together may have the following type:

(int, int) -> int