in include/range/v3/view/transform.hpp [42:51]
constexpr cardinality transform2_cardinality(cardinality c1, cardinality c2)
{
return c1 >= 0 || c2 >= 0 ?
(c1 >= 0 && c2 >= 0 ? (c1 < c2 ? c1 : c2) : finite) :
c1 == finite || c2 == finite ?
finite :
c1 == unknown || c2 == unknown ?
unknown :
infinite;
}