Index - E
| Edit | |
| 1 (Type/Class) | Edits |
| 2 (Data Constructor) | Edits |
| EditScript | Edits |
| EditType | Edits |
| edittype | Edits |
| edit_del_node | Edits |
| edit_del_tree | Edits |
| edit_identity | Edits |
| edit_ins_tree | Edits |
| edit_move_tree | Edits |
| edit_trace_only | Edits |
| edit_update | Edits |
| element | Tree |
| emptyfile | EditPatterns |
| emptyTrace | FeatureTrace |
| eval | Propositions |
| Example | |
| 1 (Type/Class) | Example |
| 2 (Data Constructor) | Example |
| example | |
| 1 (Function) | StackPopAlice |
| 2 (Function) | StackPopBob |