ToySolver.Data.FOL.Formula

Overloaded operations for formula.

Concrete formula

data Formula a

pushNot