def combine_operation
stelliferous@0.0.2.0 · proofs/tensor_access_certificate.bend:28
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
28def combine_operation(~Element: Data,~operation: Element -> Element -> Element,call: CopyCall,input: Array<Element>,output: Array<Element>) -> Array<Element> & Array<Element>:
29 CopyCall{fast,count,source,destination} = call
30 Access.combine_run(~Element,~operation,fast,count,source,destination,input,output)