def broadcast_axes

stelliferous@0.0.2.0 · tensor.bend:510

import stelliferous@0.0.2.0/tensor.bend as Tensor
import 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)

Uses (2)

Used by (1)