Distribution.Types.Condition

data Condition c

cNot

cAnd

cOr

simplifyCondition