Function isInfiniteBound

scripts/fungrim/compile-rules.ts:228–232

(b: MathJSON)

  if (typeof b === 'string') return INFINITE_BOUNDS.has(b);
  if (Array.isArray(b) && b[0] === 'Negate') return isInfiniteBound(b[1]);
  return false;
}

function flattenAnd(a: MathJSON): MathJSON[] {
  if (a === null || a === undefined) return [];
  if (Array.isArray(a) && a[0] === 'And')
    return a.slice(1).flatMap((x) => flattenAnd(x));
  return [a];