def repeated

stelliferous@0.0.2.0 · tensor_layout.bend:154

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

154def repeated(view: Maybe<&2,Views.View>,scale: U32) -> Maybe<&2,Views.View>:
155  match view:
156    case Some{Views.View{axes,offset}}: with_offset(repeated_axes(axes,scale),offset)
157    case None{}: None{}