Index - L
| L1 | Predicate |
| L2 | Predicate |
| L3 | Predicate |
| L4 | Predicate |
| L5 | Predicate |
| L6 | Predicate |
| Last | Predicate |
| Last' | Predicate |
| LastDef | Predicate |
| LastFail | Predicate |
| LastP | Predicate |
| Le | Predicate |
| Left | Predicate |
| Left' | Predicate |
| LeftDef | Predicate |
| LeftFail | Predicate |
| LeftP | Predicate |
| LeftToMaybe | Predicate |
| Len | Predicate |
| Length | Predicate |
| LenT | UtilP, Predicate |
| liftEval | UtilP, Predicate |
| lite | UtilP, Predicate |
| Lookup | Predicate |
| Lookup' | Predicate |
| LookupDef | Predicate |
| LookupDef' | Predicate |
| LookupFail | Predicate |
| LookupFail' | Predicate |
| LookupP | Predicate |
| LookupP' | Predicate |
| Lt | Predicate |
| Luhn | Predicate |
| Luhn' | Refined3Helper |
| Luhn'' | Refined3Helper |
| LuhnR | Refined3Helper |
| LuhnR' | Refined3Helper |
| LuhnX | Refined3Helper |
| LuhnY | Refined3Helper |