Function walk

scripts/fungrim/load.ts:195–200

(x: unknown)

export function inferType(dom: unknown): string {
  if (typeof dom === 'string') {
    if (
      [
        'Integers',
        'NonNegativeIntegers',
        'PositiveIntegers',
        'NonPositiveIntegers',
        'NegativeIntegers',
        'Primes',
      ].includes(dom)