python - 您可以使用 mypy 将函数的类型定义为 python 中的参数吗？

Question

我正在尝试使用 mypy 在 python 2.7 中注释和定义我的类型。我似乎找不到任何描述如何将函数作为参数传递并记录其类型的文档。例如，在 Scala 中，我可以定义一个将两个整数映射到布尔值的函数类型：

def exampleFunction(f: (Int,Int) => Boolean) = {
  // Do Something
}

mypy中是否有类似的符号？大概是这样的？

def exampleFunction(f):
    # type: ((int, int) -> bool) -> None
    # Do Something

当函数类型是参数时，注释函数类型的最佳实践是什么？