#include <di/meta/relation.h>

Concept definition

template<typename R, typename T, typename U T>
concept di::concepts::StrictWeakOrder =  detail::InvocableToStrictWeakOrder<R, T, T> && detail::InvocableToStrictWeakOrder<R, T, U> &&
                          detail::InvocableToStrictWeakOrder<R, U, T> && detail::InvocableToStrictWeakOrder<R, U, U>