Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
- 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
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
mirror :: TRS Identifier s -> Maybe (TRS Identifier s) Source
if input is SRS, reverse lhs and rhs of each rule