dedekind::order::detail_runs::ToItself< C, L > Struct Template Reference

An element as the step to its own value: χ = id. More...

Public Member Functions
constexpr Step< C, L >	operator() (const C &x) const

Detailed Description

template<typename C, typename L>
struct dedekind::order::detail_runs::ToItself< C, L >

An element as the step to its own value: χ = id.

---

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

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