dedekind::order::detail_runs::AtLeast< Ω > Struct Template Reference

Whether a value reaches a level, and whether it is the level: the α-cut and the fibre, pointwise. More...

Public Member Functions
constexpr bool	operator() (Ω v) const

Public Attributes
Ω	level

Detailed Description

template<typename Ω>
struct dedekind::order::detail_runs::AtLeast< Ω >

Whether a value reaches a level, and whether it is the level: the α-cut and the fibre, pointwise.

---

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

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