Language: C++

#include "bits/stdc++.h"
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
const int INF = 1e9;
const ll LINF = 1e18;
inline ll gcd(ll a, ll b) { return b ? gcd(b, a%b) : a; }
inline ll lcm(ll a, ll b) { return a / gcd(a, b)*b; }
template<class S,class T> ostream& operator << (ostream& out,const pair<S,T>& o){ out << "(" << o.first << "," << o.second << ")"; return out; }
template<class T> ostream& operator << (ostream& out,const vector<T>& V){ for(int i = 0; i < V.size(); i++){ out << V[i]; if(i!=V.size()-1) out << " ";} return out; }
template<class T> ostream& operator << (ostream& out,const vector<vector<T> >& Mat){ for(int i = 0; i < Mat.size(); i++) { if(i != 0) out << endl; out << Mat[i];} return out; }
template<class S,class T> ostream& operator << (ostream& out,const map<S,T>& mp){ out << "{ "; for(auto it = mp.begin(); it != mp.end(); it++){ out << it->first << ":" << it->second; if(mp.size()-1 != distance(mp.begin(),it)) out << ", "; } out << " }"; return out; }
template<typename T>vector<T> make_v(size_t a){return vector<T>(a);}
template<typename T,typename... Ts>auto make_v(size_t a,Ts... ts){return vector<decltype(make_v<T>(ts...))>(a,make_v<T>(ts...));}
template<typename T,typename V> typename enable_if<is_class<T>::value==0>::type fill_v(T &t,const V &v){t=v;}
template<typename T,typename V> typename enable_if<is_class<T>::value!=0>::type fill_v(T &t,const V &v){for(auto &e:t) fill_v(e,v);}
/*
 <url:>
 問題文============================================================
 =================================================================
 解説=============================================================
 ================================================================
 */

template <typename Monoid>
struct SegmentTree {
public:
    using Type = typename Monoid::Type;
    int sz; // Array size
    int _n;
    vector<Type>node;
    SegmentTree(int n):_n(n){
        sz = 1;
        while(sz < n) sz <<= 1;
        node.assign(2*sz,Monoid::id());
    }
    void set(int k,const Type& val){
        node[k+sz] = val;
    }
    void build(){
        for(int k = sz - 1; k > 0; k--){
            node[k] = Monoid::op(node[2*k],node[2*k+1]);
        }
    }
    inline void update(int k, const Type& val) {
        k += sz;
        node[k] = val;
        while (k >>= 1) {
            node[k] = Monoid::op(node[2*k], node[2*k+1]);
        }
    }
    inline Type query(int l, int r) {
        if (l >= r)return Monoid::id();
        Type vl = Monoid::id(), vr = Monoid::id();
        for (l += sz, r += sz; l != r; l >>= 1, r >>= 1) {
            if (l & 1)  vl = Monoid::op(vl, node[l++]);
            if (r & 1)  vr = Monoid::op(node[--r], vr);
        }
        return Monoid::op(vl, vr);
    }

    
    template <bool (*f)(Type)> int max_right(int l) {
        return max_right(l, [](Type x) { return f(x); });
    }
    template <class F> int max_right(int l, F f) {
        assert(0 <= l && l <= _n);
        assert(f(Monoid::id()));
        if (l == _n) return _n;
        l += sz;
        Type sm = Monoid::id();
        do {
            while (l % 2 == 0) l >>= 1;
            if (!f(op(sm, node[l]))) {
                while (l < sz) {
                    l = (2 * l);
                    if (f(op(sm, node[l]))) {
                        sm = op(sm, node[l]);
                        l++;
                    }
                }
                return l - sz;
            }
            sm = op(sm, node[l]);
            l++;
        } while ((l & -l) != l);
        return _n;
    }

    template <bool (*f)(Type)> int min_left(int r) {
        return min_left(r, [](Type x) { return f(x); });
    }
    template <class F> int min_left(int r, F f) {
        assert(0 <= r && r <= _n);
        assert(f(Monoid::id()));
        if (r == 0) return 0;
        r += sz;
        Type sm = Monoid::id();
        do {
            r--;
            while (r > 1 && (r % 2)) r >>= 1;
            if (!f(op(node[r], sm))) {
                while (r < sz) {
                    r = (2 * r + 1);
                    if (f(op(node[r], sm))) {
                        sm = op(node[r], sm);
                        r--;
                    }
                }
                return r + 1 - sz;
            }
            sm = op(node[r], sm);
        } while ((r & -r) != r);
        return 0;
    }

    Type operator[](int i) { return node[i + sz]; }
};

struct Monoid {
    using Type = ll;/* Monoidに乗せる型 */
    static Type id() { return 0; /* モノイドの初期値 */};
    
    // ================================================ //
    //          マージ処理                               //
    // ================================================ //
    static Type op(const Type&l, const Type &r) {
        Type ret = max(l,r);
        return ret;
    }
};
template<class Type>
Type solve(Type res = Type()){
    int N,Q; cin >> N >> Q;

    SegmentTree<Monoid> ST(N);
    for(int i = 0; i < N;i++){
        int A; cin >> A;
        ST.set(i,A);
    }
    ST.build();

    while(Q--){
        int T; cin >> T;
        if(T == 1){
            int X,V; cin >> X >> V;
            ST.update(X-1,V);
        }else if(T == 2){
            int L,R; cin >> L >> R;
            cout << ST.query(L-1,R) << endl;
        }else{
            int X,V; cin >> X >> V;
            cout << ST.max_right(X-1,[V](Monoid::Type x){
                return V < x;
            });
        }
    }
    return res;
}
int main(void) {
    cin.tie(0); ios::sync_with_stdio(false);
    solve<ll>(0);
    // cout << fixed << setprecision(12) << solve<ll>() << endl;
    return 0;
}

Compiler output:
a.cc: In instantiation of 'int SegmentTree<Monoid>::max_right(int, F) [with F = solve<long long int>(long long int)::<lambda(Monoid::Type)>; Monoid = Monoid]':
a.cc:154:33:   required from 'Type solve(Type) [with Type = long long int]'
  154 |             cout << ST.max_right(X-1,[V](Monoid::Type x){
      |                     ~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~
  155 |                 return V < x;
      |                 ~~~~~~~~~~~~~    
  156 |             });
      |             ~~                   
a.cc:163:14:   required from here
  163 |     solve<ll>(0);
      |     ~~~~~~~~~^~~
a.cc:75:22: error: 'op' was not declared in this scope
   75 |             if (!f(op(sm, node[l]))) {
      |                    ~~^~~~~~~~~~~~~
a.cc:78:29: error: 'op' was not declared in this scope, and no declarations were found by argument-dependent lookup at the point of instantiation
   78 |                     if (f(op(sm, node[l]))) {
      |                           ~~^~~~~~~~~~~~~
a.cc:75:22: note: 'op' declared here, later in the translation unit
   75 |             if (!f(op(sm, node[l]))) {
      |                    ~~^~~~~~~~~~~~~
a.cc:79:32: error: 'op' was not declared in this scope, and no declarations were found by argument-dependent lookup at the point of instantiation
   79 |                         sm = op(sm, node[l]);
      |                              ~~^~~~~~~~~~~~~
a.cc:75:22: note: 'op' declared here, later in the translation unit
   75 |             if (!f(op(sm, node[l]))) {
      |                    ~~^~~~~~~~~~~~~
a.cc:85:20: error: 'op' was not declared in this scope
   85 |             sm = op(sm, node[l]);
      |                  ~~^~~~~~~~~~~~~