Function hasPartHead

scripts/fungrim/guard-census.ts:35–40

(x: unknown)

// boxing can collapse the part term. Mirrors the P2/P3/P4 test suites.
const PART_HEADS = ['Real', 'Imaginary', 'Abs', 'Argument'];
function hasPartHead(x: unknown): boolean {
  return (
    Array.isArray(x) &&
    (PART_HEADS.includes(x[0] as string) || x.some(hasPartHead))
  );
}

function conjunctsOf(assumptions: unknown): unknown[] {
  if (Array.isArray(assumptions) && assumptions[0] === 'And')