@Override
    public MinFunction copy() {
        return new MinFunction(getLabel(),
                               getLevelOrNull(),
                               args().stream().map(arg -> arg.copy()).toList());
    }
Constructs a new instance of this class.

@param arg1 the first compulsory argument, must evaluate to a number
@param arg2 the second compulsory argument, must evaluate to a number
@param argN the optional arguments, must evaluate to a number
container-search/src/main/java/com/yahoo/search/grouping/request/MinFunction.java