def target_stride

stelliferous@0.0.2.0 · tensor_cursor.bend:124

import Base
import stelliferous@0.0.2.0/traversal_array.bend as Traversal

124def target_stride(cursor: Stride) -> Traversal.Target<Stride>:
125  Stride{+address,+stride} = cursor
126  Traversal.Target{Stride{(address + stride : U32),stride},address}