get_typet< I, Ts > Struct Template Reference

Get the type with the given index in the parameter pack. More...

#include <small_shared_n_way_ptr.h>

Public Types
typedef std::tuple_element< I, std::tuple< Ts... > >::type	type

Detailed Description

template<std::size_t I, typename... Ts>
struct get_typet< I, Ts >

Get the type with the given index in the parameter pack.

Definition at line 21 of file small_shared_n_way_ptr.h.

Member Typedef Documentation

type

template<std::size_t I, typename... Ts>

typedef std::tuple_element<I, std::tuple<Ts...> >::type get_typet< I, Ts >::type

Definition at line 24 of file small_shared_n_way_ptr.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/util/small_shared_n_way_ptr.h