Table of Contents
The Boolean domain is denoted with the keyword bool and has two values: false and true.
bool
false
true
find a : bool such that a = (1 in {0,1})
This syntax is checking if 1 is in the set {0,1}
See it demonstrated here.