In C++ the result type of !, <, <=, >=, >, == and != is bool.
[cparser] / write_caml.c
2008-11-01 Matthias Braundeclaration_t -> entity_t
2008-07-25 Matthias Braunsupport for libc builtins