27 #ifndef MLN_VALUE_BUILTIN_SYMBOLICS_HH
28 # define MLN_VALUE_BUILTIN_SYMBOLICS_HH
35 # include <mln/value/concept/built_in.hh>
36 # include <mln/value/concept/symbolic.hh>
37 # include <mln/trait/value_.hh>
47 typedef value::Built_In< value::Symbolic<void> >
ret;
57 typedef value::nature::symbolic nature;
58 typedef value::kind::binary kind;
65 typedef value::quant::low quant;
67 static int min() {
return 0; }
68 static int max() {
return 1; }
70 static const char* name() {
return "bool"; }
78 #endif // ! MLN_VALUE_BUILTIN_SYMBOLICS_HH