def broadcast_axes
import stelliferous@0.0.2.0/tensor.bend as Tensorimport Base
import stelliferous@0.0.2.0/tensor_view.bend as Views
510# Scalar operands are read through a stride-zero view of one element.
511def broadcast_axes(axes: List<&2,Views.Axis>) -> List<&2,Views.Axis>:
512 match axes:
513 case []: []
514 case Views.Axis{extent,stride} <> rest: Views.Axis{extent,0} <> broadcast_axes(rest)