def sliced

stelliferous@0.0.2.0 · tensor_layout.bend:96

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

96def sliced(view: Maybe<&2,Views.View>,axis: U32,start: U32,count: U32,step: U32) -> Maybe<&2,Views.View>:
97  match view:
98    case Some{view}: Views.slice(view,U32.to_nat(axis),start,count,step)
99    case None{}: None{}