dedekind::category::detail_comprehension::Counted Struct Reference

The count of a query, as Maybe's action: a query that may not be, counted where it is. More...

Public Member Functions
template<IsQuery Q>
constexpr std::size_t	operator() (Q q) const

Detailed Description

The count of a query, as Maybe's action: a query that may not be, counted where it is.

---

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

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