cmoon::is_specialization

template<class Type, template<typename...> class Template>
struct is_specialization;

If the complete type Type is a template specialization of the incomplete type Template, its member constant value is true. Otherwise, its member constant value is false.

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

template<class Type, template<typename...> class Template>
inline constexpr bool is_specialization_v = is_specialization<Type, Template>::value;