Compile-time type information. More...

Classes
struct	has_virtual_destructor< T >
	https://en.cppreference.com/w/cpp/types/has_virtual_destructor More...

struct	invoke_result< F, ArgTypes >
	Deduces the return type of an INVOKE expression at compile time. More...

struct	is_nothrow_swappable_with< T, U >

struct	is_same< T, U >
	If T and U name the same type (taking into account const/volatile qualifications), provides the member constant value equal to true. Otherwise value is false. More...

struct	is_same< T, T >

struct	make_signed< Type >
	If T is an integral (except bool) or enumeration type, provides the member typedef type which is the unsigned integer type corresponding to T, with the same cv-qualifiers. If T is signed or unsigned char, short, int, long, long long; the unsigned type from this list corresponding to T is provided. The behavior of a program that adds specializations for make_signed is undefined. More...

struct	remove_pointer< T >
	Provides the member typedef type which is the type pointed to by T, or, if T is not a pointer, then type is the same as T. The behavior of a program that adds specializations for remove_pointer is undefined. More...

struct	remove_reference< T >

struct	remove_reference< T & >

struct	remove_reference< T && >

struct	remove_volatile< Type >
	Provides the member typedef type which is the same as T, except that its topmost cv-qualifiers are removed. Removes the topmost volatile. More...

struct	smallest_size< N >
	Smallest unsigned integer type that can represent values in the range [0, N]. More...

struct	type_identity< T >

struct	underlying_type< T >
	The underlying type of an enum. More...

Typedefs
template<typename F , typename... ArgTypes>
using	invoke_result_t = typename invoke_result< F, ArgTypes... >::type

template<typename T >
using	remove_reference_t = typename remove_reference< T >::type

template<typename T >
using	remove_volatile_t = typename remove_volatile< T >::type

template<unsigned long long N>
using	smallest_size_t = typename smallest_size< N >::type

template<typename T >
using	type_identity_t = typename type_identity< T >::type

template<typename T >
using	underlying_type_t = typename underlying_type< T >::type

template<typename... >
using	void_t = void

Variables
template<typename T >
constexpr auto	has_virtual_destructor_v = __has_virtual_destructor(T)

template<typename T , typename U >
constexpr bool	is_nothrow_swappable_with_v = is_nothrow_swappable_with<T, U>::value

template<typename T , typename U >
constexpr bool	is_same_v = is_same<T, U>::value