Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::IsLinearOrder Concept Referenceexport
module dedekind.order

Synonym for Total Order. More...

Concept definition

template<typename T>
concept dedekind::order::IsLinearOrder = IsTotallyOrdered<T>
dedekind::order::IsLinearOrder
Synonym for Total Order.
Definition total.cppm:67
dedekind::order::IsTotallyOrdered
A refinement where every pair is comparable (The Chain).
Definition total.cppm:63

Detailed Description

Synonym for Total Order.