def read_stride

stelliferous@0.0.2.0 · tensor_cursor.bend:115

import stelliferous@0.0.2.0/tensor_cursor.bend as TensorCursor

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

115def read_stride(~Element: Data,storage: Array<Element>,cursor: Stride) -> Array<Element> & Traversal.Visited<Stride,Element>:
116  Stride{+address,+stride} = cursor
117  stride_value(~Element,address,stride,Array.get(Element,storage,address))

Uses (6)

Used by (5)