std::experimental::ranges::IndirectRelation

From cppreference.com
< cpplrm; | experimentallrm; | ranges
Technical specifications
Filesystem library (filesystem TS)
Library fundamentals (library fundamentals TS)
Library fundamentals 2 (library fundamentals 2 TS)
Extensions for parallelism (parallelism TS)
Extensions for parallelism 2 (parallelism TS v2)
Extensions for concurrency (concurrency TS)
Concepts (concepts TS)
Ranges (ranges TS)
Special mathematical functions (special math TR)
template < class F, class I1, class I2 = I1 >

concept bool IndirectRelation =
Readable<I1> && Readable<I2> &&
CopyConstructible<F> &&
Relation<F&, ranges::value_type_t<I1>&, ranges::value_type_t<I2>&> &&
Relation<F&, ranges::value_type_t<I1>&, ranges::reference_t<I2>> &&
Relation<F&, ranges::reference_t<I1>, ranges::value_type_t<I2>&> &&
Relation<F&, ranges::reference_t<I1>, ranges::reference_t<I2>> &&

Relation<F&, ranges::iter_common_reference_t<I1>, ranges::iter_common_reference_t<I2>>;
(ranges TS)