This documentation is automatically generated by online-judge-tools/verification-helper
#include "alg/monoid/assign.hpp"
#pragma once
template <typename X, int none_val>
struct Monoid_Assign {
using value_type = X;
static X op(X x, X y) { return (y == X(none_val) ? x : y); }
static constexpr X unit() { return X(none_val); }
static constexpr bool commute = false;
};
#line 2 "alg/monoid/assign.hpp"
template <typename X, int none_val>
struct Monoid_Assign {
using value_type = X;
static X op(X x, X y) { return (y == X(none_val) ? x : y); }
static constexpr X unit() { return X(none_val); }
static constexpr bool commute = false;
};