#include <di/meta/relation.h>

Concept definition

template<typename R, typename T, typename U T>
concept di::concepts::StrictPartialOrder = 
    detail::InvocableToComparisonCategory<R, T, T> && detail::InvocableToComparisonCategory<R, T, U> &&
    detail::InvocableToComparisonCategory<R, U, T> && detail::InvocableToComparisonCategory<R, U, U>