python之-> 在 python 函数定义中

我正在查看 python 3.3 grammar ，并注意到其中的这一行:

funcdef: 'def' NAME parameters ['->' test] ':' suite 

这意味着 -> 在定义函数时是一个有效的符号，但我在网上找不到任何地方说明它是什么，据我所知，它被忽略了。例如，我可以编写执行此操作的代码:

def a() -> True: pass 

或

def a() -> 5 == 3: 
    return 8 

都是有效的陈述，但似乎没有做任何事情。

谁能告诉我 -> 语法在 python 中的作用？