File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change 8288
8288
8289
8289
\pnum
8290
8290
Let \tcode {rcvr} be a receiver.
8291
- A \defn {proxy} for \tcode {rcvr} with base \tcode {B} is
8291
+ A \defnx {proxy for \tcode {rcvr} with base \tcode {B}}{proxy } is
8292
8292
an lvalue \tcode {r} of type \tcode {B} such that:
8293
8293
\begin {itemize }
8294
8294
\item
8314
8314
\end {note }
8315
8315
8316
8316
\pnum
8317
- A \defnadj {bulk chunked}{ proxy} for \tcode {rcvr}
8318
- with callable \tcode {f} and arguments \tcode {args}
8317
+ A \defnx {bulk chunked proxy for \tcode {rcvr}
8318
+ with callable \tcode {f} and arguments \tcode {args}}{proxy!bulk chunked}
8319
8319
is a proxy \tcode {r} for \tcode {rcvr}
8320
8320
with base \tcode {system_context_replaceability::bulk_item_receiver_proxy}
8321
8321
such that
8322
8322
\tcode {r.execute(i, j)} for indices \tcode {i} and \tcode {j}
8323
8323
has effects equivalent to \tcode {f(i, j, args...)}.
8324
8324
8325
8325
\pnum
8326
- A \defnadj {bulk unchunked}{ proxy} for \tcode {rcvr}
8327
- with callable \tcode {f} and arguments \tcode {args}
8326
+ A \defnx {bulk unchunked proxy for \tcode {rcvr}
8327
+ with callable \tcode {f} and arguments \tcode {args}}{proxy!bulk unchunked}
8328
8328
is a proxy \tcode {r} for \tcode {rcvr}
8329
8329
with base \tcode {system_context_replaceability::bulk_item_receiver_proxy}
8330
8330
such that
You can’t perform that action at this time.
0 commit comments