| Safe Haskell | Safe-Inferred |
|---|
TPDB.Mirror
- 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
tpdb-0.8.2: Data Type for Rewriting Systems
| Safe Haskell | Safe-Inferred |
|---|
TPDB.Mirror
mirror :: TRS Identifier s -> Maybe (TRS Identifier s)Source
if input is SRS, reverse lhs and rhs of each rule