Index - E
| Effect | |
| 1 (Data Constructor) | U.Codebase.Type |
| 2 (Data Constructor) | U.Codebase.Decl |
| EffectConstructor | U.Codebase.Referent |
| Effects | U.Codebase.Type |
| emap | U.Codebase.Causal |
| empty | U.Codebase.Branch.Type |
| Entry | |
| 1 (Type/Class) | U.Codebase.Reflog |
| 2 (Data Constructor) | U.Codebase.Reflog |
| extraMap | U.Codebase.Term |
| extraMapM | U.Codebase.Term |