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 |
lit01 | UtilP, Predicate |
lit01' | 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 |