？要么
类型
类型
要么=？？
实例
(
图解的
一
,
图解的
b条
) =>
图解的
(
一
⊕
b条
)
描述
要么
是中的标准分离联合类型构造函数
福吉特图书馆。
在我们编写的文档中的许多地方
a+b
作为缩写
属于
要么a b
.
另请参见
其他实用功能：
条带向左
,
是向左的
等。
