A function annotation (also known as a type hint) serves to ensure a function can only be called successfully if parameters of the correct type are passed in by checking the data types of the input parameters. As an example, the following function declaration ensures that the caller must pass in two int's and that the function must return an int: . def add (x: int, y: int ) int: True False.