wpl::tool::get_exact< Down, Up > Struct Template Reference

Get an exact type given a type and its Bottom parameter. More...

#include <wipal/tool/static_base.hh>

List of all members.

Public Types
typedef Down	return_type

---

Detailed Description

template<class Down, class Up>
struct wpl::tool::get_exact< Down, Up >

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

---

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

• include/wipal/tool/static_base.hh