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