Data.Algebra.Boolean.DNF.Set

data DNF a

fromDoubleList

toDoubleList

fromNNF