KernelGemm.reduce: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_gemm.bend as KernelGemm
Lines 116-119 of stelliferous@0.0.2.0/kernel_gemm.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&start_line=116&end_line=119

import Base
import stelliferous@0.0.2.0/traversal_loop.bend as Iteration

def reduce(upper: Bool,count: Nat,state: Loop) -> Buffers:
  match upper:
    case False{}: Iteration.run_then(~Loop,~Buffers,~step(~False{}),~finish,count,state)
    case True{}: Iteration.run_then(~Loop,~Buffers,~step(~True{}),~finish,count,state)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=Buffers
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=Loop
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=finish
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_gemm.bend&name=step
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/traversal_loop.bend&name=run_then