Safe Haskell | None |
---|

# Documentation

antecedent :: PropositionalFormula formula atomic => formula -> formulaSource

consequent :: PropositionalFormula formula atomic => formula -> formulaSource

on_atoms :: PropositionalFormula formula atomic => (atomic -> formula) -> formula -> formulaSource

over_atoms :: PropositionalFormula formula atomic => (atomic -> b -> b) -> formula -> b -> bSource

atom_union :: (PropositionalFormula formula atomic, Ord b) => (atomic -> Set b) -> formula -> Set bSource