def sweep_operation
stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:359
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
359def sweep_operation(~Element: Data,~operation: Element -> Element -> Element,call: SweepCall<Element>,input: Array<Element>,output: Array<Element>) ->
360 Array<Element> & Array<Element>:
361 SweepCall{count,context} = call
362 Access.sweep_run(~Element,~operation,count,context,input,output)