Safe Haskell | None |
---|
Documentation
antecedent :: FirstOrderFormula formula atom v => formula -> formulaSource
consequent :: FirstOrderFormula formula atom v => formula -> formulaSource
on_atoms :: forall formula atom v. FirstOrderFormula formula atom v => (atom -> formula) -> formula -> formulaSource
over_atoms :: FirstOrderFormula formula atom v => (atom -> b -> b) -> formula -> b -> bSource
atom_union :: (FirstOrderFormula formula atom v, Ord b) => (atom -> Set b) -> formula -> Set bSource