dedekind::order::detail_runs::FoldPieces< Op, L >::State Struct Reference

The value of the piece being read, and the fold of the pieces before it, none before the first piece inside the carrier. More...

Public Attributes
L::Ω	cur
std::optional< typename L::Ω >	acc

Detailed Description

template<typename Op, typename L>
struct dedekind::order::detail_runs::FoldPieces< Op, L >::State

The value of the piece being read, and the fold of the pieces before it, none before the first piece inside the carrier.

---

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

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