AB在TypeScript规范中AB的含义是什么？

Question

我正在检查TypeScript规范，并在3.4工会类型上使用AB，如下所示：

• 如果B是A的子类型，则A/B等价于A。
• A =B等于B=A。
• AB _ C等价于A_x- BC，其中AB是A_\B，BC是B~*。

问题： AB或AB|C的含义是什么？

Answer 1

规范中的这一部分是在联合类型中允许使用括号之前编写的，因此出现了笨拙的措辞。

更明确的表述是，这一节试图说的是：

(A

Answer 2

在你的问题中，答案是：

AB =A=B

如果C是A的一个子类型，B是A的一个子类型，则AB\C-等价于A