-\requires For the overloads with an \tcode{ExecutionPolicy}, \tcode{I} shall be an integral type or meet the requirements of a forward iterator type; otherwise, \tcode{I} shall be an integral type or meet the requirements of an input iterator type. \tcode{Size} shall be an integral type and \tcode{n} shall be non-negative. \tcode{S} shall have integral type and \tcode{stride} shall have non-zero value. \tcode{stride} shall be negative only if \tcode{I} has integral type or meets the requirements of a bidirectional iterator. The \tcode{rest} parameter pack shall have at least one element, comprising objects returned by invocations of \tcode{reduction} ([parallel.alg.reduction]) and/or \tcode{induction} ([parallel.alg.induction]) function templates followed by exactly one invocable element-access function, {\em f}. For the overloads with an \tcode{ExecutionPolicy}, {\em f} shall meet the requirements of \tcode{CopyConstructible}; otherwise, {\em f} shall meet the requirements of \tcode{MoveConstructible}.
0 commit comments