#include <concepts.h>
template<typename Tp1, typename Tp2>
{ a < b } -> std::same_as<bool>;
{ a <= b } -> std::same_as<bool>;
{ a > b } -> std::same_as<bool>;
{ a >= b } -> std::same_as<bool>;
{ a == b } -> std::same_as<bool>;
{ a != b } -> std::same_as<bool>;
}