Function variableDomains

scripts/fungrim/load.ts:207–217

(e: Entry)

      return 'integer';
    if (dom === 'RationalNumbers') return 'rational';
    if (dom === 'RealNumbers') return 'real';
    return 'complex';
  }
  if (Array.isArray(dom)) {
    if (dom[0] === 'Interval') return 'real';
    if (dom[0] === 'Range' || dom[0] === 'Divisors') return 'integer';
    if (dom[0] === 'SetMinus') return inferType(dom[1]);
    // Element(n, Set(2, 3, 7, ...)) — explicit finite integer sets
    if (
      dom[0] === 'Set' &&
      dom.length > 1 &&
      dom.slice(1).every((x) => typeof x === 'number' && Number.isInteger(x))
    )
      return 'integer';