| EDIV | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| EDivOp | Michelson.Typed |
| EDivOpRes | Michelson.Typed |
| Elt | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| EModOpRes | Michelson.Typed |
| EMPTY_MAP | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| EMPTY_SET | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| encodeBase58Check | Tezos.Crypto |
| EQ | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| Eq' | Michelson.Typed |
| eqT' | Michelson.TypeCheck |
| evalConcat | Michelson.Typed |
| evalConcat' | Michelson.Typed |
| evalEDivOp | Michelson.Typed |
| evalGet | Michelson.Typed |
| evalMem | Michelson.Typed |
| EvalOp | Michelson.Interpret |
| evalOp | Michelson.Typed |
| evalSize | Michelson.Typed |
| evalSlice | Michelson.Typed |
| evalUnaryArithOp | Michelson.Typed |
| evalUpd | Michelson.Typed |
| EXEC | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| expand | Morley.Macro |
| expandCadr | Morley.Macro |
| expandContract | Morley.Macro |
| ExpandedInstr | Michelson.Untyped, Morley.Types |
| ExpandedInstrExtU | Michelson.Untyped |
| ExpandedOp | Michelson.Untyped, Morley.Types |
| ExpandedUExtInstr | Morley.Types |
| expandList | Morley.Macro |
| expandMapCadr | Morley.Macro |
| expandPapair | Morley.Macro |
| expandSetCadr | Morley.Macro |
| expandUnpapair | Morley.Macro |
| expandValue | Morley.Macro |
| expectAnySuccess | Morley.Test.Integrational, Morley.Test |
| expectBalance | Morley.Test.Integrational, Morley.Test |
| expectGasExhaustion | Morley.Test.Integrational, Morley.Test |
| expectMichelsonFailed | Morley.Test.Integrational, Morley.Test |
| expectStorageConst | Morley.Test.Integrational, Morley.Test |
| expectStorageUpdate | Morley.Test.Integrational, Morley.Test |
| expectStorageUpdateConst | Morley.Test.Integrational, Morley.Test |
| EXT | Michelson.Untyped, Morley.Types |
| Ext | Michelson.Typed |
| ExtC | Michelson.TypeCheck |
| ExtInstr | Morley.Types |
| extractNotes | Michelson.Typed |
| ExtT | Michelson.Typed |
| ExtU | Michelson.Untyped |