Safe Haskell | None |
---|

# Documentation

contrapositives :: forall fof atom v. (FirstOrderFormula fof atom v, Ord fof) => Set fof -> Set (Set fof, fof)Source

mexpand :: forall fof atom term v f. (FirstOrderFormula fof atom v, Literal fof atom, Term term v f, Atom atom term v, Ord fof) => Set (Set fof, fof) -> Set fof -> fof -> ((Map v term, Int, Int) -> Failing (Map v term, Int, Int)) -> (Map v term, Int, Int) -> Failing (Map v term, Int, Int)Source