def indexed_operation
stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:277
import stelliferous@0.0.2.0/proofs/tensor_access_certificate.bend as TensorAccessCertificate
import Base
import stelliferous@0.0.2.0/tensor_access.bend as Access
277def indexed_operation(~Element: Data,~operation: U32 -> Element -> Element,call: IndexedCall,input: Array<Element>,output: Array<Element>) ->
278 Array<Element> & Array<Element>:
279 IndexedCall{count,view} = call
280 Access.apply_indexed_run(~Element,~operation,count,view,input,output)