411 REFERENCE · Wikibooks
CDuce/Types/Boolean connectives
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Conjunction
#print_type 1--7 | 5--10;;
-> 1--10
type IntOrChar = Int | Char;;
Disjunction
#print_type 1--7 & 5--10;;
-> 5--7
Difference
#print_type Int \ 0;;
-> *---1 | 1--*
Empty set
#print_type 1--3 & 5--6;;
Empty
Universal type
"Any" is the set of all the values. "_" is the same thing, but is preferred in patterns context.
#print_type _;;
-> Any