Data.Algebra.Boolean.DNF.List

data DNF a

fromDoubleList

toDoubleList

fromNNF