template<typename I1 , typename I2 , typename T , typename BOp1 = plus, typename BOp2 = multiplies, typename P1 = ident, typename P2 = ident, typename V1 = iterator_value_t<I1>, typename V2 = iterator_value_t<I2>, typename X1 = concepts::Callable::result_t<P1, V1>, typename X2 = concepts::Callable::result_t<P2, V2>, typename Y2 = concepts::Callable::result_t<BOp2, X1, X2>, typename Y1 = concepts::Callable::result_t<BOp1, T, Y2>> |
using | ranges::v3::InnerProductable = meta::strict_and< InputIterator< I1 >, InputIterator< I2 >, Callable< P1, V1 >, Callable< P2, V2 >, Callable< BOp2, X1, X2 >, Callable< BOp1, T, Y2 >, Assignable< T &, Y2 >> |