Data.Logic.Types.Propositional

data Formula atom