def shape

stelliferous@0.0.2.0 · tensor_view.bend:57

import Base
import stelliferous@0.0.2.0/tensor_shape.bend as Shapes

57def shape(view: View) -> Shapes.Shape:
58  View{axes,offset} = view
59  Shapes.Shape{axis_extents(axes)}