Index - E
| ee | Ermine.Builtin.Type |
| eg | Ermine.Builtin.Global |
| ekinds | Ermine.Syntax.Constructor |
| empty | Ermine.Pretty |
| enclose | Ermine.Pretty |
| encloseSep | Ermine.Pretty |
| entails | Ermine.Constraint.Simplification |
| Env | |
| 1 (Type/Class) | Ermine.Interpreter |
| 2 (Data Constructor) | Ermine.Interpreter |
| equality | Ermine.Builtin.Type |
| equals | Ermine.Pretty |
| Err | |
| 1 (Data Constructor) | Ermine.Diagnostic |
| 2 (Type/Class) | Ermine.Diagnostic |
| err | Ermine.Diagnostic |
| Error | Ermine.Syntax.Core |
| etypes | Ermine.Syntax.Constructor |
| eval | Ermine.Interpreter |
| executeCommand | Ermine.Console.Command |
| Exists | Ermine.Syntax.Type |
| exists | Ermine.Syntax.Type |
| expected | Ermine.Diagnostic |
| Explicit | Ermine.Syntax.Term |
| explicit | Ermine.Builtin.Term |