TensorLanes.select_reads: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/tensor_lanes.bend as TensorLanes
Lines 91-95 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=91&end_line=95

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

def select_reads(mask: Storage.Buffer<F32> & Tile.Tile8,yes: Storage.Buffer<F32> & Tile.Tile8,no: Storage.Buffer<F32> & Tile.Tile8) -> Selected & Tile.Tile8:
  (mask,a) = mask
  (yes,b) = yes
  (no,c) = no
  (Selected{mask,yes,no},select_tile(a,b,c))

Uses (7):
  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_tile.bend&name=Tile8
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/storage_buffer.bend&name=Buffer
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_lanes.bend&name=Selected
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/tensor_lanes.bend&name=select_tile