def slice_step

stelliferous@0.0.2.0 · tensor_view.bend:179

import Base

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