def same_extents
import stelliferous@0.0.2.0/tensor_layout.bend as TensorLayoutimport Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes
import stelliferous@0.0.2.0/tensor_view.bend as Views
243def same_extents(slice: Views.View,part_shape: List<&2,U32>) -> Bool:
244 Shapes.same(Views.shape(slice),Shapes.Shape{part_shape})