Function m

src/compute-engine/rubi/match.ts:105–134

(
  pat: Pat,
  expr: Expression,
  x: Expression,
  env: Env,
  k: () => boolean
)

  env.delete(name);
  return false;
}

/**
 * Is `expr` an occurrence of the bound variable `x`?
 *
 * Name AND binding, the ordinary equality question — NOT the "patterns are
 * syntax" carve-out (`m`'s `case 'const'` and `match-dispatch`'s template
 * comparisons are that; this one compares a SUBJECT sub-expression against the
 * driver's own integration variable).
 *
 * `RubiDriver.int` takes the variable as a STRING and re-boxes it with
 * `ce.symbol`, so historically it carried the CALLER's binding while parsing
 * `\int … dx` minted the integral's own — the reason this used to compare by
 * name alone (366 misses, all on `x`, all from this site). The integrand now
 * arrives LIFTED into the caller's scope (`liftIntegrand`,
 * `boxed-expression/utils.ts`) so both sides denote one binding, and the
 * comparison can ask the real
 * question. `sameBindingDef` also treats a call frame's parameter definition as
 * its static binding, and two raw occurrences still agree — the parse route
 * leaves a binding-site symbol undefined.
 */
function sameBoundName(expr: Expression, x: Expression): boolean {
  if (!isSymbol(expr)) return expr.isSame(x);
  if (!isSymbol(x) || expr.symbol !== x.symbol) return false;
  return sameBindingDef(expr.valueDefinition, x.valueDefinition);
}

function m(
  pat: Pat,
  expr: Expression,
  x: Expression,
  env: Env,
  k: () => boolean