dedekind::order::detail_runs::NotPast< V > Struct Template Reference

A step at or before x: its position is not past x. More...

Collaboration diagram for dedekind::order::detail_runs::NotPast< V >:

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

Public Attributes
V	x

Detailed Description

template<IsTotallyOrdered V>
struct dedekind::order::detail_runs::NotPast< V >

A step at or before x: its position is not past x.

---

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

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