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

A position on the chain: just below at, or just above it. More...

Collaboration diagram for dedekind::order::Position< V >:

Public Attributes
V	at
Side	side

Friends
constexpr bool	operator== (const Position &, const Position &)=default
constexpr bool	operator< (const Position &a, const Position &b)
	Along the chain: by value, and below a value before above it.

Detailed Description

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

A position on the chain: just below at, or just above it.

Template Parameters

V	the carrier.

---

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

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