def reduce_operation
stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:248
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
248def reduce_operation(~Element: Data,~Accumulator: Data,~operation: Accumulator -> Element -> Accumulator,
249 call: ReduceCall,storage: Array<Element>,initial: Accumulator) -> Array<Element> & Accumulator:
250 ReduceCall{fast,count,view} = call
251 Access.reduce_run(~Element,~Accumulator,~operation,fast,count,view,storage,initial)