Safe Haskell | None |
---|---|
Language | Haskell98 |
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