This documentation is automatically generated by online-judge-tools/verification-helper
#include "alg/monoid/xor.hpp"
#pragma once
template <typename X>
struct Monoid_Xor {
using value_type = X;
static X op(X x, X y) { return x ^ y; }
static constexpr X inverse(const X &x) noexcept { return x; }
static constexpr X power(const X &x, ll n) noexcept {
return (n & 1 ? x : 0);
}
static constexpr X unit(){return X(0);};
static constexpr bool commute = true;
};
#line 2 "alg/monoid/xor.hpp"
template <typename X>
struct Monoid_Xor {
using value_type = X;
static X op(X x, X y) { return x ^ y; }
static constexpr X inverse(const X &x) noexcept { return x; }
static constexpr X power(const X &x, ll n) noexcept {
return (n & 1 ? x : 0);
}
static constexpr X unit(){return X(0);};
static constexpr bool commute = true;
};