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