#include <wipal/tool/static_base.hh>
Public Types | |
typedef Up | return_type |
Get an exact type given a type and its Bottom parameter.
get_exact<Down, Up>::return_type = Down get_exact<bottom, Up>::return_type = Up
typedef Up tool::tool::get_exact< bottom, Up >::return_type |
The trait's return type.