di::concepts::detail::WeaklyEqualityComparableWith Concept Reference

#include <di/meta/compare.h>

Concept definition

template<typename T, typename U>
concept di::concepts::detail::WeaklyEqualityComparableWith = 
        (detail::DefinitelyEqualityComparableWith<T, U>::value) ||
        requires(meta::RemoveReference<T> const& a, meta::RemoveReference<U> const& b) {
            { a == b } -> SameAs<bool>;
            { a != b } -> SameAs<bool>;
            { b == a } -> SameAs<bool>;
            { b != a } -> SameAs<bool>;
        }