ntlib::HasAdditiveInverses Concept Reference

Concept definition

template<typename T>
concept HasAdditiveInverses = requires(T n) {
  // Require that `operator-(T)` is overloaded.
  { -n } -> std::convertible_to<T>;
 
  // Require that `operator-(T,T)` is overloaded.
  { n - n } -> std::convertible_to<T>;
}