tmp/tmp8978bwjy/{from.md → to.md}
RENAMED
|
@@ -6,11 +6,11 @@ of such objects and an index.
|
|
| 6 |
|
| 7 |
A range of indices [0, N) is an *accessible range* of a given data
|
| 8 |
handle and an accessor if, for each i in the range, the accessor
|
| 9 |
policy’s `access` function produces a valid reference to an object.
|
| 10 |
|
| 11 |
-
In
|
| 12 |
|
| 13 |
- `A` denotes an accessor policy.
|
| 14 |
- `a` denotes a value of type `A` or `const A`.
|
| 15 |
- `p` denotes a value of type `A::data_handle_type` or
|
| 16 |
`const A::data_handle_type`. \[*Note 1*: The type
|
|
|
|
| 6 |
|
| 7 |
A range of indices [0, N) is an *accessible range* of a given data
|
| 8 |
handle and an accessor if, for each i in the range, the accessor
|
| 9 |
policy’s `access` function produces a valid reference to an object.
|
| 10 |
|
| 11 |
+
In [[mdspan.accessor.reqmts]],
|
| 12 |
|
| 13 |
- `A` denotes an accessor policy.
|
| 14 |
- `a` denotes a value of type `A` or `const A`.
|
| 15 |
- `p` denotes a value of type `A::data_handle_type` or
|
| 16 |
`const A::data_handle_type`. \[*Note 1*: The type
|