Data.Logic.Types.FirstOrder

data Formula v p f

data PTerm v f

data Predicate p term