|
3621 | 3621 | \pnum
|
3622 | 3622 | The names \tcode{bulk}, \tcode{bulk_chunked}, and \tcode{bulk_unchunked}
|
3623 | 3623 | denote pipeable sender adaptor objects.
|
3624 |
| -Let \placeholder{bulk-algo} be either |
| 3624 | +Let \tcode{\placeholder{bulk-algo}} be either |
3625 | 3625 | \tcode{bulk}, \tcode{bulk_chunked}, or \tcode{bulk_unchunked}.
|
3626 | 3626 | For subexpressions \tcode{sndr}, \tcode{policy}, \tcode{shape}, and \tcode{f},
|
3627 | 3627 | let
|
|
3776 | 3776 | If \tcode{sndr} has a successful completion, where
|
3777 | 3777 | \tcode{args} is a pack of lvalue subexpressions
|
3778 | 3778 | referring to the value completion result datums of \tcode{sndr}, or
|
3779 |
| -decayed copies of those values if they model copy_constructible, then: |
| 3779 | +decayed copies of those values if they model \libconcept{copy_constructible}, |
| 3780 | +then: |
3780 | 3781 |
|
3781 | 3782 | \begin{itemize}
|
3782 | 3783 | \item
|
|
3801 | 3802 | for \tcode{bulk_chunked},
|
3802 | 3803 | invokes \tcode{f($b$, $e$, args...)} zero or more times
|
3803 | 3804 | with pairs of $b$ and $e$ of type \tcode{Shape}
|
3804 |
| - in range \range{\tcode{0}}{\tcode{shape}}, |
| 3805 | + in range \crange{\tcode{0}}{\tcode{shape}}, |
3805 | 3806 | such that $b < e$ and
|
3806 | 3807 | for every $i$ of type \tcode{Shape} from \tcode{0} to \tcode{shape},
|
3807 | 3808 | there is exactly one invocation with a pair $b$ and $e$,
|
|
3836 | 3837 | the completion is forwarded to \tcode{recv}.
|
3837 | 3838 |
|
3838 | 3839 | \item
|
3839 |
| -For \placeholder{bulk-algo}, |
| 3840 | +For \tcode{\placeholder{bulk-algo}}, |
3840 | 3841 | the parameter \tcode{policy} describes
|
3841 | 3842 | the manner in which
|
3842 | 3843 | the execution of the asynchronous operations corresponding to these algorithms
|
|
0 commit comments