A reading of a factored count, modulo the word: an arrow from the factor lists, with no period of its own; after a periodic sequence, the composite is periodic (period of a Compose). More...

Public Types
using	Domain = L
using	Codomain = N

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

Detailed Description

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

A reading of a factored count, modulo the word: an arrow from the factor lists, with no period of its own; after a periodic sequence, the composite is periodic (period of a Compose).

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

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

Public Types

Public Member Functions

Detailed Description