dedekind::order::RunListSteps< N, K >::AsStep Struct Reference

The i-th step as the order's: below its position, in where i is even. More...

Collaboration diagram for dedekind::order::RunListSteps< N, K >::AsStep:

Public Member Functions
constexpr Step< N, Boole >	operator() (std::size_t i) const

Public Attributes
dedekind::category::AtMost< N, K >	steps

Detailed Description

template<dedekind::category::IsCountWord N, std::size_t K>
struct dedekind::order::RunListSteps< N, K >::AsStep

The i-th step as the order's: below its position, in where i is even.

---

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

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