Function flatBinaryOp

scripts/rubi/wl-parser.ts:376–383

(op: string, a: Json, b: Json)

}

function flatBinaryOp(op: string, a: Json, b: Json): Json {
  const ops: Json[] = [];
  for (const x of [a, b]) {
    if (Array.isArray(x) && x[0] === op) ops.push(...(x as Json[]).slice(1));
    else ops.push(x);
  }
  return [op, ...ops];
}

function flatBinary(op: 'Add' | 'Multiply', a: Json, b: Json): Json {
  return flatBinaryOp(op, a, b);