def stride_value

stelliferous@0.0.2.0 · tensor_cursor.bend:111

import stelliferous@0.0.2.0/tensor_cursor.bend as TensorCursor

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

111def stride_value(~Element: Data,address: U32,+stride: U32,result: Array<Element> & Element) -> Array<Element> & Traversal.Visited<Stride,Element>:
112  (storage,value) = result
113  (storage,Traversal.Visited{Stride{(address + stride : U32),stride},value})

Uses (7)

Used by (2)