def reduce

stelliferous@0.0.2.0 · kernel_gemm.bend:116

import stelliferous@0.0.2.0/kernel_gemm.bend as KernelGemm

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

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

Uses (7)

Used by (2)