TensorView.slice: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_view.bend as TensorView
Lines 205-209 of stelliferous@0.0.2.0/tensor_view.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_view.bend&start_line=205&end_line=209

import Base

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

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_view.bend&name=View
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_view.bend&name=slice_axes