cpp/container/mdspan/mapping traits

Check if (1)-(3) the layout mapping or (4)-(6) its type  satisfies some traits.

@1-3@ Let be (1), (2), or (3), then it's equivalent to.

@4-6@ Let be (4), (5), or (6), then it's equivalent to.

Parameters
(none)

Return value
See above.