Index - E
| eitherAltCong | Type.Family.Either |
| eitherApCong | Type.Family.Either |
| EitherC | Type.Family.Either |
| eitherC | Type.Class.Witness |
| eitherFmapCong | Type.Family.Either |
| eitherPamfCong | Type.Family.Either |
| Elem | Data.Type.Index |
| elemIndex | Data.Type.Index |
| elimFin | Data.Type.Fin |
| elimIndex | Data.Type.Index |
| elimLength | Data.Type.Length |
| elimNat | Data.Type.Nat |
| elimProd | Data.Type.Product |
| elimSum | Data.Type.Sum |
| elimV | Data.Type.Vector |
| elimVT | Data.Type.Vector |
| entailed | Type.Class.Witness |
| Eq1 | Type.Class.Higher |
| eq1 | Type.Class.Higher |
| Eq2 | Type.Class.Higher |
| eq2 | Type.Class.Higher |
| Eq3 | Type.Class.Higher |
| eq3 | Type.Class.Higher |
| Every | |
| 1 (Type/Class) | Data.Type.Quantifier |
| 2 (Data Constructor) | Data.Type.Quantifier |
| Every2 | |
| 1 (Type/Class) | Data.Type.Quantifier |
| 2 (Data Constructor) | Data.Type.Quantifier |
| Every3 | |
| 1 (Type/Class) | Data.Type.Quantifier |
| 2 (Data Constructor) | Data.Type.Quantifier |
| expCong | Type.Family.Nat |