sequoia::utilities::decrementable Concept Reference

Concept definition

template<class I>
concept sequoia::utilities::decrementable =  requires(I i) {
    { --i } -> std::same_as<I&>;
    { i-- } -> std::convertible_to<I>;
  }