def prepend_repeated

stelliferous@0.0.2.0 · tensor_layout.bend:134

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views

134# Nearest-neighbour upsampling repeats each element of the last two axes
135# scale times, by copying from a view whose repeated axes have stride zero.
136def prepend_repeated(axis: Views.Axis,rest: Maybe<&2,List<&2,Views.Axis>>) -> Maybe<&2,List<&2,Views.Axis>>:
137  match rest:
138    case Some{axes}: Some{axis <> axes}
139    case None{}: None{}