I | M | Q | W

I: invariant (fcpp::asserts); is_additive (fcpp::traits); is_additive< T, typename std::enable_if< true, decltype(std::declval< T & >()+std::declval< T & >(),(void) 0)>::type > (fcpp::traits); is_equality_comparable (fcpp::traits); is_equality_comparable< T, typename std::enable_if< true, decltype(std::declval< T & >()==std::declval< T & >(),(void) 0)>::type > (fcpp::traits); is_less_than_comparable (fcpp::traits); is_less_than_comparable< T, typename std::enable_if< true, decltype(std::declval< T & >()< std::declval< T & >(),(void) 0)>::type > (fcpp::traits)