def axis_extents
import stelliferous@0.0.2.0/tensor_view.bend as TensorViewimport Base
52def axis_extents(axes: List<&2,Axis>) -> List<&2,U32>:
53 match axes:
54 case Nil{}: Nil{}
55 case Con{Axis{extent,stride},tail}: extent <> axis_extents(tail)