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