Distribution.Types.Condition
data
Condition
c
cNot
cAnd
cOr
simplifyCondition