(self, history: History)
| 1160 | self.added_items = util.OrderedIdentitySet() |
| 1161 | |
| 1162 | def merge_with_history(self, history: History) -> History: |
| 1163 | return history._merge(self.added_items, self.deleted_items) |
| 1164 | |
| 1165 | def append(self, value: Any) -> None: |
| 1166 | if value in self.deleted_items: |