dedekind::order::detail_runs::NotAfterAll Struct Reference

A step inside or below the carrier: the fold ends at the first one above every element. More...

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

Detailed Description

A step inside or below the carrier: the fold ends at the first one above every element.

---

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

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