Function collectSymbols

scripts/rubi/benchmark.ts:109–118

(expr: Json, out: Set<string>)

    return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
  };
}

function collectSymbols(expr: Json, out: Set<string>): void {
  if (typeof expr === 'string') {
    if (!KNOWN_CONSTANTS.has(expr)) out.add(expr);
    return;
  }
  if (Array.isArray(expr)) {
    // skip the operator position for known string heads
    for (let i = 1; i < expr.length; i++) collectSymbols(expr[i], out);
  }
}