CDuce/Types/Boolean connectives

Conjunction
-> 1--10
 * 1) print_type 1--7 | 5--10;;

type IntOrChar = Int | Char;;

Disjunction
-> 5--7
 * 1) print_type 1--7 & 5--10;;

Difference
-> *---1 | 1--*
 * 1) print_type Int \ 0;;

Empty set
Empty
 * 1) print_type 1--3 & 5--6;;

Universal type
"Any" is the set of all the values. "_" is the same thing, but is preferred in patterns context. -> Any
 * 1) print_type _;;