Proper.BDD

data BDD p

trueBDD

falseBDD

singletonBDD

negBDD

disBDD

conBDD

impBDD

bicBDD

isTaut