Concept definition

template<class Test>
concept mysql::sets::Is_bounded_set_traits =   
    Is_ordered_set_traits<Test> &&
    requires(typename Test::Element_t value) {
      { Test::min() } -> std::same_as<typename Test::Element_t>;
      { Test::max_exclusive() } -> std::same_as<typename Test::Element_t>;
      { Test::in_range(value) } -> std::same_as<bool>;
    }

Detailed Description

True if Test is a "bounded" Set traits class.

This requires that it is ordered, and has static member functions min and max_exclusive that give the minimum and maximum value, respectively, as well as the in_range convenience function that returns true if a value is in the range.