dedekind::category::detail_comprehension::Tally< N > Struct Template Reference

One more element into a count. More...

Public Member Functions
template<typename A>
constexpr N	operator() (N acc, const A &) const

Detailed Description

template<IsCountWord N>
struct dedekind::category::detail_comprehension::Tally< N >

One more element into a count.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/comprehension.cppm