dedekind::order::IsDividableChain Concept Reference

A Totally Ordered species with a partitioning algorithm (/). More...

Concept definition

template<typename T>
concept dedekind::order::IsDividableChain =  IsTotallyOrdered<T> && requires(T a, T b) {
  { a / b } -> std::same_as<T>;
  { a % b } -> std::same_as<T>;
}

Detailed Description

A Totally Ordered species with a partitioning algorithm (/).