def stretched

stelliferous@0.0.2.0 · tensor.bend:264

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

264# A view of an operand read with the extents target; see Views.stretch.
265def stretched(view: Maybe<&2,Views.View>,+target: List<&2,U32>) -> Maybe<&2,Views.View>:
266  match view:
267    case Some{view}: Views.stretch(view,target)
268    case None{}: None{}