KernelPackingSamples.read_pixel_address: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_packing_samples.bend as KernelPackingSamples
Lines 41-43 of stelliferous@0.0.2.0/kernel_packing_samples.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_packing_samples.bend&start_line=41&end_line=43

import Base

def read_pixel_address(input: Array<F32>,address: PixelAddress) -> Array<F32> & F32:
  PixelAddress{index,inside} = address
  mask_pixel(inside,Array.get(F32,input,index))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.get
  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=stelliferous@0.0.2.0/kernel_packing_samples.bend&name=PixelAddress
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_packing_samples.bend&name=mask_pixel