mysql::sets::Is_interval_set Concept Reference

#include <interval_set_meta.h>

Concept definition

template<class Test>
concept mysql::sets::Is_interval_set = 
    Is_set<Test> && Has_set_category<Test, Interval_set_category_tag> &&
    Has_set_traits<Test> &&
    std::same_as<typename Test::Element_t,
                 typename Test::Set_traits_t::Element_t> &&
    mysql::ranges::Is_collection_over<Test,
                                      Interval<typename Test::Set_traits_t>> &&
    requires(Test t) {
      {
        t.boundaries()
        } -> Is_boundary_set_ref_over_traits<typename Test::Set_traits_t>;
    }