流类型文档中功能子类型的含义

Question

我的问题表明

是什么意思

let f3: (1 | 2 | 3) => "A" = (x) => /* ... */

文档中语法在函数子类型下？我提供了下面的链接

Flowtype Documentation

谢谢！