Jump to content

CDuce/Types/Boolean connectives

Add links
From Wikibooks, open books for an open world

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
Retrieved from "https://en.wikibooks.org/w/index.php?title=CDuce/Types/Boolean_connectives&oldid=3228625"