cmoon::specialization_of

template<class T, template<typename...> class Template>
concept specialization_of = cmoon::is_specialization_v<T, Template>;

The concept specialization_of<T, Template> is satisfied if and only if the complete type T is a template specialization of the incomplete type Template.

For example, std::string is a specialization of std::basic_string.