| Value | Meaning | 
|---|---|
| Conjunction | A list of Conditions, that get expanded to "{} AND {} ..." | 
| Disjunction | A list of Conditions, that get expanded to "{} OR {} ..." | 
| UnaryCondition | Representation of a unary condition. | 
| BinaryCondition | Representation of a binary condition. | 
| TernaryCondition | Representation of a ternary condition. | 
| Value | Representation of a value. | 
tagged union type