TensorIndexedCertificate.tiled_operation: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/proofs/tensor_indexed_certificate.bend as TensorIndexedCertificate
Lines 85-88 of stelliferous@0.0.2.0/proofs/tensor_indexed_certificate.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/proofs/tensor_indexed_certificate.bend&start_line=85&end_line=88

import Base
import stelliferous@0.0.2.0/tensor_indexed.bend as Indexed

def tiled_operation(~Element: Data,~Context: Data,~index: Context -> U32 -> U32,~base: Context -> U32 -> U32,~blocks: Context -> U32,~size: Context -> U32,~operation: U32 -> Element -> Element,
  tiling: Tiling<Context>,input: Array<Element>,output: Array<Element>) -> Array<Element> & Array<Element>:
  Tiling{total,context} = tiling
  Indexed.run_tiled(~Element,~Context,~index,~base,~blocks,~size,~operation,total,context,input,output)

Uses (5):
  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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/proofs/tensor_indexed_certificate.bend&name=Tiling
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_indexed.bend&name=run_tiled