Index - L
| Lambda | Application.TermSearch.Type |
| largestNonempty | Data.ECTA.Internal.Paths |
| listReps | Application.TermSearch.TermSearch |
| listType | Application.TermSearch.Utils |
| Lit | Application.SAT |
| loop1 | Application.TermSearch.Utils |
| loop2 | Application.TermSearch.Utils |