test:tautologies

Dependencies

• HasCacBDD lib:HasCacBDD >=0
• QuickCheck lib:QuickCheck >2.4
• base lib:base >=4.8

Reverse dependencies

None.