dedekind::order::IdentitySteps< C > Struct Template Reference

χ(x) = x on a finite chain, valued in the chain's own species: a step at every element above the least (none on a one-element chain). More...

Public Types
using	Domain = C
using	logic_species = classifier_logic_t<C>

Public Member Functions
constexpr C	first () const
constexpr auto	steps () const

Detailed Description

template<typename C>
requires HasNNOStep<C> && (detail_position::least<C>().has_value()) && (detail_position::greatest<C>().has_value())
struct dedekind::order::IdentitySteps< C >

χ(x) = x on a finite chain, valued in the chain's own species: a step at every element above the least (none on a one-element chain).

Template Parameters

C	the chain.

---

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

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