di::concepts::Relation Concept Reference

#include <di/meta/relation.h>

Concept definition

template<typename R, typename T, typename U>
concept di::concepts::Relation =  Predicate<R, T, T> && Predicate<R, U, U> && Predicate<R, T, U> && Predicate<R, U, T>