subtractable.hpp

Go to the documentation of this file.

#pragma once
#include "raw_type.hpp"
#include <concepts>

namespace xtd {
  // Since Doxygen does not work properly with the C++20 concept, the documentation for this concept is declared in xtd/subtractable_.hpp
  template<typename type_t>
  concept subtractable = requires(const xtd::raw_type<type_t>& a, const xtd::raw_type<type_t>& b) {
    {a - b} -> std::same_as<xtd::raw_type<type_t>>;
  };
}