def read

stelliferous@0.0.2.0 · proofs/kernel_weights_witness.bend:86

import Base
import stelliferous@0.0.2.0/kernel_weights.bend as Weights
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/storage_buffer.bend as Storage
import stelliferous@0.0.2.0/proofs/storage_witness.bend as Witness
import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness

86def read(-input: Array<F32>,context: Weights.Context,index: U32,evidence: Witness.ArrayWitness<F32,input>) ->
87  TraversalWitness.Sample<Array<F32>,Tile.Tile8,input,Weights.read(input,context,index)>:
88  Weights.Context{+rows,+inner,+row,destination} = context
89  +index = index
90  +evidence = evidence
91  first(rows,inner,row,index,input,Storage.read_when(~F32,0.0,U32.is_lt(row,rows),input,(row * inner + index : U32)),
92    conditional(input,U32.is_lt(row,rows),(row * inner + index : U32),evidence),evidence)