def read_indexed

stelliferous@0.0.2.0 · tensor_access.bend:125

import stelliferous@0.0.2.0/tensor_access.bend as TensorAccess

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

125def read_indexed(~Element: Data,~operation: U32 -> Element -> Element,input: Array<Element>,context: Traversal.Offsets,position: U32) ->
126  Array<Element> & Element:
127  +position = position
128  indexed_value(~Element,~operation,position,Traversal.source_offset(~Element,input,context,position))

Uses (6)

Used by (3)