~/jendhub

type Looped

stelliferous@0.0.2.0 · proofs/kernel_read_witness.bend:8

import stelliferous@0.0.2.0/proofs/kernel_read_witness.bend as KernelReadWitness
import Base
import stelliferous@0.0.2.0/kernel_gemm.bend as Gemm
import stelliferous@0.0.2.0/kernel_rows.bend as Rows
import stelliferous@0.0.2.0/kernel_tile.bend as Tile

8# The k loop returns every owner it received. Index, context and the erased
9# accumulators are whatever the steps produced.
10type Looped<-input: Array<Tile.Tile8>,-weights: Array<Tile.Tile8>,-bias: Array<F32>,-output: Array<F32>,-state: Gemm.Loop> is Data:
11  Looped{index: U32,context: Gemm.Context,-accumulators: Rows.Rows<Tile.Tile8>,
12    equation: {state == Gemm.Loop{input,weights,bias,output,index,context,accumulators} : Gemm.Loop}}

Uses (7)

Used by (8)