Function rank

src/compute-engine/rubi/match.ts:193–202

(p: Pat)

  return defaults(0, () => m(others[0], expr, x, env, k));
}

function mSeq(
  pats: Pat[],
  exprs: ReadonlyArray<Expression>,
  x: Expression,
  env: Env,
  k: () => boolean
): boolean {
  if (pats.length === 0) return k();
  return m(pats[0], exprs[0], x, env, () =>
    mSeq(pats.slice(1), exprs.slice(1), x, env, k)
  );
}