Function withEntryScope

scripts/fungrim/load.ts:270–290

(
  ce: ComputeEngine,
  e: Entry,
  fn: () => T
)

/**
 * For variables that have no `Element` conjunct (e.g. AsymptoticTo entries
 * with null assumptions), refine `complex` to `integer` when the variable is
 * passed directly to a slot whose declared parameter type is integer
 * (BellNumber(n), Totient(n), ...). Signature is read from the engine so
 * shells and compat overrides are respected.
 */
function refineTypesFromIntegerSlots(
  ce: ComputeEngine,
  e: Entry,
  types: Record<string, string>
): void {
  const untyped = e.variables.filter((v) => !(v in types));
  if (untyped.length === 0) return;
  const paramTypes = new Map<string, string[]>();
  const paramsOf = (head: string): string[] => {
    if (paramTypes.has(head)) return paramTypes.get(head)!;
    let params: string[] = [];
    try {
      const t = ce.expr(head).type.toString();
      const m = t.match(/^\((.*)\)\s*->/);
      if (m) params = m[1].split(',').map((s) => s.trim());
    } catch {
      /* not a known function head */
    }
    paramTypes.set(head, params);