preprocessor/c-api/type__traits_8hh_source.html

#pragma once


#include <type_traits>


namespace CppClingo::Util {


template <class S, class... L> inline constexpr bool is_among_v = (std::is_same_v<S, L> || ...);


template <class S, class... L> inline constexpr bool matches = is_among_v<std::remove_cvref_t<S>, L...>;


} // namespace CppClingo::Util

CppClingo::Util::matches
constexpr bool matches
Check if the type S stripped from cv-qualifiers and references is among the types in L.
Definition type_traits.hh:14

CppClingo::Util::is_among_v
constexpr bool is_among_v
Check if the type S is among the types in L.
Definition type_traits.hh:11