TensorAccessCertificate.reduce_operation: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/tensor_access_certificate.bend as TensorAccessCertificate
Lines 248-251 of stelliferous@0.0.2.0/proofs/tensor_access_certificate.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/tensor_access_certificate.bend&start_line=248&end_line=251

import Base
import stelliferous@0.0.2.0/tensor_access.bend as Access

def reduce_operation(~Element: Data,~Accumulator: Data,~operation: Accumulator -> Element -> Accumulator,
  call: ReduceCall,storage: Array<Element>,initial: Accumulator) -> Array<Element> & Accumulator:
  ReduceCall{fast,count,view} = call
  Access.reduce_run(~Element,~Accumulator,~operation,fast,count,view,storage,initial)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/tensor_access_certificate.bend&name=ReduceCall
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_access.bend&name=reduce_run