cugar::if_equal< A, B, T, F > Struct Template Reference

Detailed description

template<typename A, typename B, typename T, typename F>
struct cugar::if_equal< A, B, T, F >

if_equal meta-function

#include <types.h>

Public Types
typedef if_true< same_type< A, B >::pred, T, F >::type	type

---

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

• C:/p4research/research/jpantaleoni/Fermat-Public/contrib/cugar/basic/types.h