Function convertInfiniteSetToLimits

src/compute-engine/library/utils.ts:28–43

(
  domainSymbol: string
)

import { isSubtype } from '../../common/type/subtype.js';
import {
  EXTENDED_REAL_TYPE,
  INDEXED_COLLECTION_SHAPE_TYPE,
} from '../../common/type/primitive.js';
import { MAX_ITERATION } from '../numerics/numeric.js';
import { extrapolate } from '../numerics/richardson.js';
import {
  reduceCollection,
  enumerationDeclinedAfterWalk,
} from './collections.js';
import { extractFiniteDomainWithReason } from './logic-analysis.js';
import {
  isPossiblyCollectionTyped,
  isTupleShapedType,
  isValuelessCollectionTyped,
  unionMayHoldACollection,
} from '../collection-utils.js';

/** The element descriptors of a tuple or list literal, or the child
 * descriptors of an application; `undefined` for a symbol, a literal or a