Safe Haskell | None |
---|---|
Language | Haskell2010 |
TPDB.CPF.Proof.Util
Documentation
sortVariables :: Rule (Term Identifier s) -> Rule (Term Identifier s) Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
TPDB.CPF.Proof.Util
sortVariables :: Rule (Term Identifier s) -> Rule (Term Identifier s) Source #