mCRL2
|
#include <type_traits.h>
Public Types | |
typedef std::tuple_element< i, std::tuple< Args... > >::type | type |
Definition at line 107 of file type_traits.h.
typedef std::tuple_element<i,std::tuple<Args...>>::type mcrl2::utilities::function_traits< ReturnType(ClassType::*)(Args...) const >::arg< i >::type |
Definition at line 109 of file type_traits.h.