dedekind::category::HasNNOStep Concept Reference

A carrier with both NNO steps available: the shape a value-determined point collapse needs (succ(lo) == pred(hi)). More...

Concept definition

template<typename T>
concept dedekind::category::HasNNOStep =  requires(const T& n) {
  { successor(n) } -> std::convertible_to<T>;
  { predecessor(n) } -> std::convertible_to<T>;
}

Detailed Description

A carrier with both NNO steps available: the shape a value-determined point collapse needs (succ(lo) == pred(hi)).