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