Safe Haskell | None |
---|---|
Language | Haskell98 |
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.5.3: Framework for propositional and first order logic, theorem proving
Safe Haskell | None |
---|---|
Language | Haskell98 |
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