| ranks | Termlib.Precedence |
| recursionDepth | Termlib.Precedence |
| reduced | Termlib.Rule |
| rename | Termlib.TermGraph |
| Renaming | Termlib.Term |
| replace | Termlib.TermGraph |
| ReplacementMap | Termlib.ContextSensitive, Termlib.Problem |
| replacingPositions | Termlib.ContextSensitive |
| restrictToSymbols | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.FunctionSymbol |
| rewrite | Termlib.Rule |
| rewriteAny | Termlib.Rule |
| rewriteAnyRhs | Termlib.Rule |
| rewriteAnyRule | Termlib.Rule |
| rewriteCandidates | Termlib.Rule |
| rewriteRhsAnyRule | Termlib.Rule |
| rewrites | Termlib.Rule |
| rhs | |
| 1 (Function) | Termlib.Rule, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| rhss | Termlib.Trs, Termlib.Repl |
| root | |
| 1 (Function) | Termlib.Term, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| rootedEdge | Termlib.TermGraph |
| RootLabel | Termlib.FunctionSymbol |
| rootPosition | Termlib.TermGraph |
| Rule | |
| 1 (Type/Class) | Termlib.Rule, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Rule, Termlib.Repl |
| rule | |
| 1 (Function) | Termlib.Term.Parser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| Rulelist | |
| 1 (Type/Class) | Termlib.Problem.XmlParser |
| 2 (Type/Class) | Termlib.Problem.TpdbParser |
| rules | |
| 1 (Function) | Termlib.Trs |
| 2 (Function) | Termlib.TermGraph |
| RuleSet | Termlib.Trs |
| Ruleset | |
| 1 (Type/Class) | Termlib.Problem, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Problem, Termlib.Repl |
| ruleSet | Termlib.Trs |
| ruleset | Termlib.Problem |
| runMaybeT | Termlib.Utils |
| runMemoAction | Termlib.Utils |
| runParser | Termlib.Problem.XmlParser |
| runSignature | Termlib.Signature |