Index - T
| target | Termlib.TermGraph |
| Term | Termlib.Term, Termlib.Repl |
| term | |
| 1 (Function) | Termlib.Term.Parser |
| 2 (Function) | Termlib.Problem.TpdbParser |
| TermAlgebra | Termlib.Problem, Termlib.Repl |
| termEq | Termlib.TermGraph |
| TermGraph | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| TermGraphRule | Termlib.TermGraph |
| termlist | Termlib.Problem.TpdbParser |
| TermParser | Termlib.Term.Parser |
| TGR | Termlib.TermGraph |
| TGS | |
| 1 (Type/Class) | Termlib.TermGraph |
| 2 (Data Constructor) | Termlib.TermGraph |
| thdecl | Termlib.Problem.TpdbParser |
| theq | Termlib.Problem.TpdbParser |
| thid | Termlib.Problem.TpdbParser |
| toList | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Substitution |
| toPair | Termlib.Rule |
| topReduced | Termlib.Rule |
| topRewrite | Termlib.Rule |
| topRewrites | Termlib.Rule |
| toRules | Termlib.Trs, Termlib.Repl |
| toTerm | Termlib.TermGraph |
| TPDBParser | Termlib.Problem.TpdbParser |
| Trs | |
| 1 (Type/Class) | Termlib.Trs, Termlib.Repl |
| 2 (Data Constructor) | Termlib.Trs |
| trsComponents | Termlib.Problem, Termlib.Repl |
| typeofproof | Termlib.Problem.TpdbParser |