Please find at https://svn.boost.org/trac/boost/browser/sandbox/type_traits and at http://dl.free.fr/tK0BwIzYy my new proposal according to review comments.
* now using 2 template parameters so that it is possible to check if 2 different types are comparable * now using factory functions instead of static references * now using type_traits yes_type and no_type * the doc. is alphabetically sorted * the doc. has been updated for clarity * the tests have been modified to include new possibilities
The code has the following properties: * returns true if t<u is meaningful and returns a value convertible to bool * returns false if t<u is meaningless. * fails with compile time error if t<u is meaningful and returns void; on this point, please have a look at the comment below.
Thank you for your review of this new version (please find below the main piece of code).
Does anybody have other comments on this small addition? Regards, Frédéric