tool::tool::get_exact< bottom, Up > Struct Template Reference

Template specialization to make get_exact work. More...

#include <wipal/tool/static_base.hh>

List of all members.

Public Types

typedef Up return_type


Detailed Description

template<class Up>
struct tool::tool::get_exact< bottom, Up >

Template specialization to make get_exact work.

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

See also:
static_base

Member Typedef Documentation

template<class Up>
typedef Up tool::tool::get_exact< bottom, Up >::return_type

The trait's return type.


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

Generated on Wed Mar 26 17:56:23 2008 for wipal by  doxygen 1.5.5