| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
TPDB.Mirror
Synopsis
- mirror :: TRS Identifier s -> Maybe (TRS Identifier s)
Documentation
mirror :: TRS Identifier s -> Maybe (TRS Identifier s) Source #
if input is SRS, reverse lhs and rhs of each rule