strata::matching_shapes¶

Part of Shapes and extents.

concept

template<typename... Shapes>
concept strata::matching_shapes = (shape_like<Shapes> && ...) && requires { typename common_shape_t<Shapes...>; }

Shapes that may describe the same extents: the same rank, and no two different static extents on an axis.

Whether they do is up to the dynamic extents, checked at run time.