dedekind::category::detail_periodic::ExactCountOf< L, N > Struct Template Reference

A reading of a factored count, exactly: as CountOf. More...

Public Types
using	Domain = L
using	Codomain = std::optional<N>

Public Member Functions
constexpr Codomain	operator() (const Domain &fs) const

Detailed Description

template<typename L, IsCountWord N = word_of_t<L>>
struct dedekind::category::detail_periodic::ExactCountOf< L, N >

A reading of a factored count, exactly: as CountOf.

---

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

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