CBMC
|
#include <expr_cast.h>
Public Types | |
typedef std::conditional< std::is_const< T >::value, typename std::add_const< Ret >::type, Ret >::type & | type |
Definition at line 182 of file expr_cast.h.
typedef std::conditional< std::is_const<T>::value, typename std::add_const<Ret>::type, Ret>::type& detail::expr_dynamic_cast_return_typet< Ret, T >::type |
Definition at line 194 of file expr_cast.h.