mCRL2
|
#include <type_traits.h>
Classes | |
struct | arg |
Public Types | |
enum | { arity = sizeof...(Args) } |
typedef ReturnType | result_type |
Definition at line 98 of file type_traits.h.
typedef ReturnType mcrl2::utilities::function_traits< ReturnType(ClassType::*)(Args...) const >::result_type |
Definition at line 104 of file type_traits.h.
anonymous enum |
Enumerator | |
---|---|
arity |
Definition at line 101 of file type_traits.h.