Concept definition

template<typename T>
concept cppgres::covered_node =  std::is_class_v<node_coverage<T>> &&
                       requires { typename node_coverage<T>::type::underlying_type; }