Index - E
| eidos | Embedder.Config |
| eidosFile | Embedder.Config |
| elseId | Embedder.Isabelle.Syntax |
| embedFile | Embedder.FrontEnd |
| embedFreeProgram | Embedder.Atmo.ToIsabelle |
| embedModule | Embedder.Atmo.ToIsabelle |
| Eq | Embedder.Builtins |
| err | ReWire.HSE.Desugar |
| Error | Embedder.Builtins |
| evalNat | Embedder.Atmo.Types |
| exclude | ReWire.HSE.Rename |
| Exp | Embedder.Atmo.Syntax |
| expCtorSigs | ReWire.HSE.Rename |
| expFixity | ReWire.HSE.Rename |
| Export | |
| 1 (Type/Class) | ReWire.HSE.Exports |
| 2 (Data Constructor) | ReWire.HSE.Exports |
| ExportAll | ReWire.HSE.Exports |
| exportAll | ReWire.HSE.Exports |
| ExportFixity | ReWire.HSE.Exports |
| ExportMod | ReWire.HSE.Exports |
| Exports | ReWire.HSE.Rename |
| ExportWith | ReWire.HSE.Exports |
| expType | ReWire.HSE.Rename |
| expValue | ReWire.HSE.Rename |
| extend | ReWire.HSE.Rename |
| extendWithGlobs | ReWire.HSE.Globs |
| Extern | Embedder.Builtins |
| Extrude | Embedder.Builtins |