CDuce/Types/Boolean connectives
Jump to navigation
Jump to search
Conjunction[edit | edit source]
#print_type 1--7 | 5--10;; -> 1--10
type IntOrChar = Int | Char;;
Disjunction[edit | edit source]
#print_type 1--7 & 5--10;; -> 5--7
Difference[edit | edit source]
#print_type Int \ 0;; -> *---1 | 1--*
Empty set[edit | edit source]
#print_type 1--3 & 5--6;; Empty
Universal type[edit | edit source]
"Any" is the set of all the values. "_" is the same thing, but is preferred in patterns context.
#print_type _;; -> Any