[#mp_units-contains-0c1]
= xref:mp_units.adoc[mp_units]::contains
:relfileprefix: ../
:mrdocs:

Checks whether any of the types `Ts` is a specialization of the class template `T`

== Synopsis

Declared in `<mp‐units/ext/type_traits.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
template<
    template<auto...> typename T,
    typename... Ts>
[[nodiscard]]
consteval
bool
contains();
----

== Return Value

`true` if at least one of `Ts` is a specialization of `T`, `false` otherwise

[NOTE]
====
The return value https://en.cppreference.com/cpp/language/attributes/nodiscard[should not be discarded^].
====
== Template Parameters

[cols="1,4"]
|===
| Name| Description
| *T*
| The class template (taking non‐type, `auto`, parameters) to look for
| *Ts*
| The types to check
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#