def read_value

stelliferous@0.0.2.0 · tensor_cursor.bend:97

import stelliferous@0.0.2.0/tensor_cursor.bend as TensorCursor

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

97def read_value(~Element: Data,axes: Levels(),address: U32,result: Array<Element> & Element) -> Array<Element> & Traversal.Visited<Cursor,Element>:
98  (storage,value) = result
99  (storage,Traversal.Visited{advance(axes,address),value})

Uses (8)

Used by (2)