TraversalLanes.rounds_with: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/traversal_lanes.bend as TraversalLanes
Lines 73-81 of stelliferous@0.0.2.0/traversal_lanes.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/traversal_lanes.bend&start_line=73&end_line=81

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

# One eight-value loop for any owned input bundle; gather and scatter decide
# which owners are read or updated. The unary path is its Array specialization.
def rounds_with(~Owner: Type,~Context: Data,~gather: Owner -> U32 -> Context -> Owner & Tile.Tile8,
  ~scatter: Owner -> U32 -> Tile.Tile8 -> Owner,~finish: Nat -> Cells.State<Owner,Tile.Tile8,Context> -> Owner,
  count: Nat,state: Cells.State<Owner,Tile.Tile8,Context>) -> Owner:
  match count:
    case 1n+1n+1n+1n+1n+1n+1n+1n+rest:
      rounds_with(~Owner,~Context,~gather,~scatter,~finish,rest,Cells.step(~Owner,~Tile.Tile8,~Context,~gather,~scatter,~8,state))
    case few: finish(few,state)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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/kernel_tile.bend&name=Tile8
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_cells.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_cells.bend&name=step