It's a function annotation in Python 3.