dedekind::category::detail_runs::PullsBack< N, K > Struct Template Reference

The pullback's law at one count: the closed form reads what the composite P∘f reads, preimage(f, P)(x) = P(f(x)). More...

Collaboration diagram for dedekind::category::detail_runs::PullsBack< N, K >:

Public Member Functions
constexpr bool	operator() (bool ok, N x) const

Public Attributes
Shift< N >	t
RunList< N, K >	s

Detailed Description

template<IsCountWord N, std::size_t K>
struct dedekind::category::detail_runs::PullsBack< N, K >

The pullback's law at one count: the closed form reads what the composite P∘f reads, preimage(f, P)(x) = P(f(x)).

---

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

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