def row_block_certified
bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:660
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
import Base
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallel
660def row_block_certified(+layout: Layout, +base: Nat, state: Array<F32> & Array<F32>) ->
661 Parallel.Certified<(Array<F32> & Array<F32>), 3n, row_block(layout, base, state)>:
662 Layout{+lo, +ro, +inner, +rows, +columns} = layout
663 (la, ra) = state
664 row_block_run_certified(inner, lo, ro, inner, rows, columns, base, la, ra)