Index - L
| Label | Termlib.FunctionSymbol |
| label | Termlib.TermGraph |
| laxident | Termlib.Problem.TpdbParser |
| lhs | |
| 1 (Function) | Termlib.Rule, Termlib.Repl |
| 2 (Function) | Termlib.TermGraph |
| lhss | Termlib.Trs, Termlib.Repl |
| liftMemo | Termlib.Utils |
| liftP | Termlib.Problem.XmlParser |
| liftS | Termlib.Signature |
| listofrules | Termlib.Problem.TpdbParser |
| listofthdecl | Termlib.Problem.TpdbParser |
| listProduct | Termlib.Utils |
| lookup | |
| 1 (Function) | Termlib.Signature |
| 2 (Function) | Termlib.Variable |
| 3 (Function) | Termlib.FunctionSymbol |
| 4 (Function) | Termlib.Substitution |