·要么

类型

类型要么=??实例(图解的 ,图解的 b) =>图解的(b)

说明

或者中的标准disjoint union类型构造函数福吉特图书馆。

在我们写的文档中的很多地方a+b组作为缩写属于要么a b.

另请参见

其他实用功能:条纹左,伊莱夫特,等。