TPDB.Mirror
mirror :: (Eq v, TermC v s) => TRS v s -> Maybe (TRS v s) Source #
if input is SRS, reverse lhs and rhs of each rule