TensorView.slice_step: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_view.bend as TensorView
Lines 179-184 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=179&end_line=184

import Base

def slice_step(zero: Bool,+start: U32,+count: U32,+step: U32,+size: U32) -> Bool:
  match zero:
    case True{}: False{}
    case False{}:
      U32.is_le(start,size) && (U32.is_zero(count) ||
        (U32.is_lt(start,size) && U32.is_le((count - 1 : U32),((size - 1 - start) / step : U32))))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.or
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_le
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_zero
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub