| Safe Haskell | None |
|---|
Data.Logic.Harrison.Prolog
Documentation
renamerule :: forall fof atom term v f. (FirstOrderFormula fof atom v, Atom atom term v, Term term v f, Ord fof) => Int -> (Set fof, fof) -> ((Set fof, fof), Int)Source
logic-classes-1.4.8: Framework for propositional and first order logic, theorem proving
| Safe Haskell | None |
|---|
Data.Logic.Harrison.Prolog
renamerule :: forall fof atom term v f. (FirstOrderFormula fof atom v, Atom atom term v, Term term v f, Ord fof) => Int -> (Set fof, fof) -> ((Set fof, fof), Int)Source