dedekind::order::detail_runs::LastValue Struct Reference

The value of the later step: a fold that keeps the last one. More...

Public Member Functions
template<typename V, typename L>
constexpr L::Ω	operator() (const typename L::Ω &, const Step< V, L > &st) const

Detailed Description

The value of the later step: a fold that keeps the last one.

---

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

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