CDuce/类型/布尔连接词

合取

#print_type 1--7 | 5--10;;
-> 1--10

type IntOrChar = Int | Char;;

析取

#print_type 1--7 & 5--10;;
-> 5--7

差集

#print_type Int \ 0;;
-> *---1 | 1--*

空集

#print_type 1--3 & 5--6;;
Empty

全集

"Any" 是所有值的集合。"_" 含义相同，但在模式上下文中更常用。

#print_type _;;
-> Any