| EitherC | Test.StateMachine.Logic, Test.StateMachine |
| Elem | Test.StateMachine.Lockstep.Auxiliary |
| ElemHead | Test.StateMachine.Lockstep.Auxiliary |
| ElemTail | Test.StateMachine.Lockstep.Auxiliary |
| empty | Test.StateMachine.Z |
| emptyEnvironment | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| Environment | |
| 1 (Type/Class) | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| 2 (Data Constructor) | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| EnvironmentError | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| EnvironmentTypeError | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| EnvironmentValueNotFound | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| Eps | Test.StateMachine.DotDrawing |
| evalLogicPredicate | Test.StateMachine.Logic, Test.StateMachine |
| Event | |
| 1 (Type/Class) | Test.StateMachine.Labelling |
| 2 (Data Constructor) | Test.StateMachine.Labelling |
| eventAfter | Test.StateMachine.Labelling |
| eventBefore | Test.StateMachine.Labelling |
| eventCmd | Test.StateMachine.Labelling |
| eventResp | Test.StateMachine.Labelling |
| EventType | Test.StateMachine.BoxDrawer |
| Exception | Test.StateMachine.Types.History, Test.StateMachine.Types |
| ExceptionThrown | Test.StateMachine.Types, Test.StateMachine |
| exec | Test.StateMachine.BoxDrawer |
| execCmds | Test.StateMachine.Labelling |
| execHistory | Test.StateMachine.Labelling |
| executeCommands | Test.StateMachine.Sequential |
| executeParallelCommands | Test.StateMachine.Parallel |
| Exists | Test.StateMachine.Logic, Test.StateMachine |
| exists | Test.StateMachine.Logic, Test.StateMachine |
| ExistsC | Test.StateMachine.Logic, Test.StateMachine |
| existsCommands | Test.StateMachine.Sequential, Test.StateMachine |