Function matchPattern

src/compute-engine/rubi/match.ts:53–60

(
  pat: Pat,
  expr: Expression,
  x: Expression
)

/**
 * Match `expr` against `pat`. Returns a binding environment or null.
 * `x` is the integration variable (matches `var` patterns exactly).
 */
export function matchPattern(
  pat: Pat,
  expr: Expression,
  x: Expression
): Env | null {
  const env: Env = new Map();
  return m(pat, expr, x, env, () => true) ? env : null;
}