(self, history: History)
| 1153 | self.added_items = util.OrderedIdentitySet() |
| 1154 | |
| 1155 | def merge_with_history(self, history: History) -> History: |
| 1156 | return history._merge(self.added_items, self.deleted_items) |
| 1157 | |
| 1158 | def append(self, value: Any) -> None: |
| 1159 | if value in self.deleted_items: |