tmp/tmpkae31xer/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,9 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
##### Layout mapping policy requirements <a id="mdspan.layout.policy.reqmts">[[mdspan.layout.policy.reqmts]]</a>
|
| 2 |
+
|
| 3 |
+
A type `MP` meets the *layout mapping policy* requirements if for a type
|
| 4 |
+
`E` that is a specialization of `extents`, `MP::mapping<E>` is valid and
|
| 5 |
+
denotes a type `X` that meets the layout mapping requirements
|
| 6 |
+
[[mdspan.layout.reqmts]], and for which the *qualified-id*
|
| 7 |
+
`X::layout_type` is valid and denotes the type `MP` and the
|
| 8 |
+
*qualified-id* `X::extents_type` denotes `E`.
|
| 9 |
+
|