(id: string)
| 317 | } |
| 318 | |
| 319 | function addId(id: string) { |
| 320 | const { identifiers } = context |
| 321 | if (identifiers[id] === undefined) { |
| 322 | identifiers[id] = 0 |
| 323 | } |
| 324 | identifiers[id]!++ |
| 325 | } |
| 326 | |
| 327 | function removeId(id: string) { |
| 328 | context.identifiers[id]!-- |