#include <type_traits.h>

Inheritance diagram for mcrl2::utilities::is_constant_function_yielding< FunctionType, ResultType, typename >:

Detailed Description

template<typename FunctionType, typename ResultType, typename = void>
struct mcrl2::utilities::is_constant_function_yielding< FunctionType, ResultType, typename >

Definition at line 56 of file type_traits.h.

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

utilities/include/mcrl2/utilities/type_traits.h