This documentation is automatically generated by online-judge-tools/verification-helper
#include "alg/default_prod.hpp"
template <class Monoid>
struct DefaultUnitProd {
using X = typename Monoid::value_type;
static constexpr bool unit_only = true;
X operator()(long long, long long) const { return Monoid::unit(); }
};
#line 1 "alg/default_prod.hpp"
template <class Monoid>
struct DefaultUnitProd {
using X = typename Monoid::value_type;
static constexpr bool unit_only = true;
X operator()(long long, long long) const { return Monoid::unit(); }
};