Satisfied when T is a specialization of the class template Template.
Declared in <mrdocs/Support/TypeTraits/TypeTraits.hpp>
template<
typename T,
template<typename...> typename Template>
concept specialization_of = is_specialization_of_v<T, Template>;
The concept form of is_specialization_of_v, for use as a constraint: specialization_of<T, std::vector> auto or requires specialization_of<T, mrdocs::Optional>.
| Name | Description |
|---|---|
| T | The type to test. |
| Template | The class template to test against. |