#include <wipal/tool/static_base.hh>
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
Public Types | |
typedef Up | return_type |
typedef Up tool::get_exact< bottom, Up >::return_type |
The trait's return type.