~/jendhub

def slice

stelliferous@0.0.2.0 · tensor_view.bend:205

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

205# Explicit start/count/positive step. The resulting view is validated against
206# the actual Buffer at execution time; arithmetic overflow is rejected here.
207def slice(view: View,axis: Nat,start: U32,count: U32,step: U32) -> Maybe<&2,View>:
208  View{axes,offset} = view
209  slice_axes(axes,axis,start,count,step,offset)

Uses (5)

Used by (1)