Function setNumberValue

frontend/src/react/components/ExprEditor.tsx:1075–1080

(v: number)

    });
  };
  const setNumberValue = (v: number) => {
    doUpdate((group) => {
      const cond = group.args[operandIndex] as ConditionExpr;
      (cond.args as unknown[])[1] = v;
    });
  };
  const setArrayValue = (v: string[]) => {
    doUpdate((group) => {
      const cond = group.args[operandIndex] as ConditionExpr;