This documentation is automatically generated by online-judge-tools/verification-helper
template<class U>
struct actedMonoid_addMin {
using M = U;
static M Mid() { return numeric_limits<T>::max(); }
static M Mop(const M &a, const M &b) { return min(a, b); }
using T = U;
static T Tid() { return T(0); }
static T Top(const T &a, const T &b) { return a + b; }
static M act(const M &a, const T &b) { return a + b; }
};
#line 1 "actedmonoid/actedMonoid_addMin.cpp"
template<class U>
struct actedMonoid_addMin {
using M = U;
static M Mid() { return numeric_limits<T>::max(); }
static M Mop(const M &a, const M &b) { return min(a, b); }
using T = U;
static T Tid() { return T(0); }
static T Top(const T &a, const T &b) { return a + b; }
static M act(const M &a, const T &b) { return a + b; }
};