Index - L
| Label | Twee.Label |
| label | Twee.Label |
| labelM | Twee.Utils |
| labelNum | Twee.Label |
| lbrace | Twee.Pretty, Twee.Base |
| lbrack | Twee.Pretty, Twee.Base |
| LeftMode | Twee.Pretty, Twee.Base |
| Lemma | |
| 1 (Type/Class) | Twee.Proof |
| 2 (Data Constructor) | Twee.Proof |
| lemma | Twee.Proof |
| lemma_id | Twee.Proof |
| lemma_proof | Twee.Proof |
| len | Twee.Term, Twee.Base |
| lenList | Twee.Term, Twee.Base |
| Less | Twee.Constraints |
| less | Twee.Constraints |
| LessEq | Twee.Constraints |
| lessEq | |
| 1 (Function) | Twee.Constraints, Twee.Base |
| 2 (Function) | Twee.KBO |
| lessEqInModel | Twee.Constraints |
| lessIn | |
| 1 (Function) | Twee.Constraints, Twee.Base |
| 2 (Function) | Twee.KBO |
| lessThan | Twee.Constraints, Twee.Base |
| lhs | Twee.Rule |
| lineLength | Twee.Pretty, Twee.Base |
| listToSubst | Twee.Term, Twee.Base |
| lookup | |
| 1 (Function) | Twee.Term, Twee.Base |
| 2 (Function) | Twee.Index, Twee.Rule.Index |
| lookupList | Twee.Term, Twee.Base |
| lparen | Twee.Pretty, Twee.Base |