()
| 1237 | let eager_versions = []; |
| 1238 | |
| 1239 | function eager_flush() { |
| 1240 | flushSync(() => { |
| 1241 | const eager = eager_versions; |
| 1242 | eager_versions = []; |
| 1243 | for (const version of eager) { |
| 1244 | update(version); |
| 1245 | } |
| 1246 | }); |
| 1247 | } |
| 1248 | |
| 1249 | /** @type {Map<Reaction, Source<number>>} */ |
| 1250 | var version_map = new Map(); |