Data.Logic.HUnit

data Test t

type Assertion t

assertEqual

convert

class TestFormula formula atom term v p f

class TestFormulaEq formula atom term v p f