static_assert( __cplusplus > 2020'99 );

#pragma once

#include <Alepha/Alepha.h>

#include <type_traits>

#include <Alepha/Stud/type_traits.h>

namespace Alepha::Hydrogen::Meta  ::detail::type_traits::pair_decay_trait
{
	inline namespace exports
	{
		template< typename T > struct pair_decay;

		template< typename First, typename Second >
		struct pair_decay< std::pair< First, Second > >
		{
			using type= std::pair< Stud::decay_t< First >, Stud::decay_t< Second > >;
		};

		template< typename T >
		using pair_decay_t= typename pair_decay< T >::type;
	}
}

namespace Alepha::Hydrogen::Meta::inline exports::inline type_traits::inline pair_decay_trait
{
	using namespace detail::type_traits::pair_decay_trait::exports;
}