ptrdiff_t-valued metafunction with a static constexpr ptrdiff_t value member that is equal to the common static extent of X0, Xs... if X0, Xs... are all span-compatible types with the same static extent.

If any of X0, Xs... are not span-compatible or do not have the same static extent, there is no value member.