KernelTile.finish_pairs: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_tile.bend as KernelTile
Lines 75-77 of stelliferous@0.0.2.0/kernel_tile.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&start_line=75&end_line=77

import Base
import stelliferous@0.0.2.0/kernel_block.bend as Block

def finish_pairs(~State: Type,result: State & Block.Twin<Block.Twin<Block.Twin<F32>>>) -> State & Tile8:
  (state,vector) = result
  (state,pairs_value(vector))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_block.bend&name=Twin
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=Tile8
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_tile.bend&name=pairs_value