dedekind::category::detail_runs::Commutes< P, A, B > Struct Template Reference

The pullback square at one count: the apex holds it exactly where both operands do, and its legs land on the count itself. More...

Collaboration diagram for dedekind::category::detail_runs::Commutes< P, A, B >:

Public Member Functions
template<IsCountWord N>
constexpr bool	operator() (bool ok, N x) const

Public Attributes
P	apex
A	a
B	b

Detailed Description

template<typename P, typename A, typename B>
struct dedekind::category::detail_runs::Commutes< P, A, B >

The pullback square at one count: the apex holds it exactly where both operands do, and its legs land on the count itself.

---

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

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