Concept definition

template<typename Tp>
concept bugui::has_buttons =  (std::is_aggregate_v<typename Tp::buttons>
                       && is_valid_id
                       <typename Tp::buttons::id_type>)