mln::category< bool > Struct Template Reference

#include <symbolics.hh>

List of all members.

Public Types
typedef value::Built_In < value::Symbolic< void > >	ret

template<>
struct mln::category< bool >

---

Member Typedef Documentation

typedef value::Built_In< value::Symbolic<void> > mln::category< bool >::ret