Index - E
| enumOrdinal | Data.Type.Ordinal, Data.Type.Ordinal.Builtin |
| EQI | Data.Type.Natural, Data.Type.Natural.Builtin |
| eqlCmpEQ | Data.Type.Natural.Lemma.Order |
| eqToRefl | Data.Type.Natural.Lemma.Order |
| Equal | Data.Type.Natural, Data.Type.Natural.Builtin |
| Equality | Data.Type.Natural, Data.Type.Natural.Builtin |