TensorLanes.combine_tile: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_lanes.bend as TensorLanes
Lines 31-34 of stelliferous@0.0.2.0/tensor_lanes.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/tensor_lanes.bend&start_line=31&end_line=34

import Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile

def combine_tile(~operation: F32 -> F32 -> F32,left: Tile.Tile8,right: Tile.Tile8) -> Tile.Tile8:
  Tile.Tile{a,b,c,d,e,f,g,h} = left
  Tile.Tile{i,j,k,l,m,n,o,p} = right
  Tile.Tile{operation(a,i),operation(b,j),operation(c,k),operation(d,l),operation(e,m),operation(f,n),operation(g,o),operation(h,p)}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=Tile8