Function collectWildcards

scripts/fungrim/compile-rules.ts:185–189

(x: MathJSON, out = new Set<string>())

}

/** All wildcard symbols (`_…`) appearing in a MathJSON tree. */
export function collectWildcards(x: MathJSON, out = new Set<string>()): Set<string> {
  if (typeof x === 'string' && x.startsWith('_')) out.add(x);
  else if (Array.isArray(x)) for (const y of x) collectWildcards(y, out);
  return out;
}

/** All symbol-position strings appearing in a MathJSON tree. */