[half-edge] Mod has nodeCounters -- remove globalNodeCounters

TODO.md

@@ -1,7 +1,5 @@
 # half-edge
 
-[half-edge] `Mod` has `nodeCounters` -- remove `globalNodeCounters`
-
 [half-edge] `Mod` has `halfEdgeCounter`
 
 [half-edge] `createHalfEdgeId`

src/lang/mod/Mod.ts

@@ -16,4 +16,5 @@ export type Mod = {
   builtins: Map<string, Definition>
   ruleEntries: Map<string, RuleEntry>
   requiredMods: Map<string, Mod>
+  nodeCounters: Map<string, number>
 }

src/lang/mod/createMod.ts

@@ -20,6 +20,7 @@ export function createMod(options: {
     builtins: new Map(),
     ruleEntries: new Map(),
     requiredMods: new Map(),
+    nodeCounters: new Map(),
   } as Mod
 
   mod.env = createEnv(mod)

src/lang/node/createNodeId.ts

@@ -1,13 +1,12 @@
 import { Mod } from "../mod"
-import { globalNodeCounters } from "./globalNodeCounters"
 
 export function createNodeId(mod: Mod, name: string): string {
-  const foundCounter = globalNodeCounters.get(name)
+  const foundCounter = mod.nodeCounters.get(name)
   if (foundCounter === undefined) {
-    globalNodeCounters.set(name, 0)
+    mod.nodeCounters.set(name, 0)
     return String(0)
   } else {
-    globalNodeCounters.set(name, foundCounter + 1)
+    mod.nodeCounters.set(name, foundCounter + 1)
     return String(foundCounter + 1)
   }
 }