Function intCmp

src/compute-engine/rubi/rubi-utils.ts:1065–1075

(
  args: Json[],
  ctx: Ctx,
  cmp: (a: number, b: number) => boolean
)

  },
  // IntegralFreeQ[u] := u contains no inert integral node
  // (IntegrationUtilityFunctions.m: FreeQ of Int/Integral/Unintegrable/
  // CannotIntegrate). Gates a Chapter-3 rule on its IntHide result closing.
  IntegralFreeQ: (args, ctx) => !build(args[0], ctx).has('Integrate'),
  AtomQ: (args, ctx) => !build(args[0], ctx).ops,
  OddQ: (args, ctx) => {
    const r = realNum(build(args[0], ctx).evaluate());
    return r !== null && Number.isInteger(r) && Math.abs(r % 2) === 1;
  },
  EvenQ: (args, ctx) => {
    const r = realNum(build(args[0], ctx).evaluate());
    return r !== null && Number.isInteger(r) && r % 2 === 0;
  },
  // raw relational heads (older Rubi guards; symbolic operands ⇒ false)
  Less: (args, ctx) => cmpChain(args, ctx, (a, b) => a < b),