Function loadInjected

scripts/fungrim/gen-reference-doc.ts:193–198

Curated synthetic entries (not in the upstream corpus).

()

/** Curated synthetic entries (not in the upstream corpus). */
function loadInjected(): Map<string, Entry> {
  const overrides = JSON.parse(fs.readFileSync(OVERRIDES, 'utf8'));
  const out = new Map<string, Entry>();
  for (const e of (overrides.inject ?? []) as Entry[]) out.set(e.id, e);
  return out;
}

/**
 * Render the upper half-plane membership `Element(x, HH)` as the explicit part