wpl::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 wpl::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

---

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

• include/wipal/tool/static_base.hh