Index - E
| EitherB | Predicate |
| EitherIn | Predicate |
| EitherX | Predicate |
| EitherXT | Predicate |
| Elem | Predicate |
| EmptyList | Predicate |
| EmptyList' | Predicate |
| EmptyT | Predicate |
| EnumFromTo | Predicate |
| eval | PredicateCore, Predicate |
| eval3 | Refined3 |
| eval3M | Refined3 |
| eval3P | Refined3 |
| eval3PX | Refined3 |
| eval3X | Refined3 |
| evalBinStrict | UtilP, Predicate |
| evalBool | PredicateCore, Predicate |
| evalQuick | Predicate |
| Even | Predicate |
| ExitWhen | Predicate |
| ExitWhen' | Predicate |
| Extended | UtilP, Predicate |
| Extra | UtilP, Predicate |
| Extract | Predicate |
| ExtractAFromTA | Predicate |
| ExtractL1C | Predicate |
| extractL1C | Predicate |
| ExtractL1T | Predicate |
| ExtractL2C | Predicate |
| extractL2C | Predicate |
| ExtractL2T | Predicate |
| ExtractL3C | Predicate |
| extractL3C | Predicate |
| ExtractL3T | Predicate |
| ExtractL4C | Predicate |
| extractL4C | Predicate |
| ExtractL4T | Predicate |
| ExtractL5C | Predicate |
| extractL5C | Predicate |
| ExtractL5T | Predicate |
| ExtractL6C | Predicate |
| extractL6C | Predicate |
| ExtractL6T | Predicate |