26 #ifndef MLN_VALUE_BUILTIN_SYMBOLICS_HH
27 # define MLN_VALUE_BUILTIN_SYMBOLICS_HH
34 # include <mln/value/concept/built_in.hh>
35 # include <mln/value/concept/symbolic.hh>
36 # include <mln/trait/value_.hh>
44 struct category< bool >
46 typedef value::Built_In< value::Symbolic<void> > ret;
56 typedef value::nature::symbolic nature;
57 typedef value::kind::binary kind;
64 typedef value::quant::low quant;
66 static const char* name() {
return "bool"; }
74 #endif // ! MLN_VALUE_BUILTIN_SYMBOLICS_HH