type-inference - 如何读取此类型化 lambda 表达式的类型推断规则？

Question

对于这个类型化的 lambda 表达式，您如何阅读以下类型推断规则？

Γ,x:η |- e:η′
_________________
Γ |- λx:η.e:η→η′

标签： type-inference