dedekind::order::Span< V > Struct Template Reference

The sides of an inhabited convex set; an absent side is unbounded. More...

Public Attributes
std::optional< Bound< V > >	lower
std::optional< Bound< V > >	upper

Friends
constexpr bool	operator== (const Span &, const Span &)=default

Detailed Description

template<typename V>
requires IsTotallyOrdered<V>
struct dedekind::order::Span< V >

The sides of an inhabited convex set; an absent side is unbounded.

Template Parameters

V	the carrier.

---

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

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