def wrap_read
stelliferous@0.0.2.0 · proofs/kernel_packing_read_witness.bend:49
import stelliferous@0.0.2.0/proofs/kernel_packing_read_witness.bend as KernelPackingReadWitness
import Base
import stelliferous@0.0.2.0/kernel_spatial_packing.bend as Packing
import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness
49def wrap_read(-input: Array<F32>,context: Packing.WrapBlock,index: Nat,evidence: family(input)) ->
50 TraversalWitness.Sample<Array<F32>,F32,input,Packing.read_wrap_pixel(input,context,index)>:
51 Packing.WrapBlock{+row,+column,+channel,+height,+width,+stride,+next_row,+offset,+output_width,+kernel_column,+padding} = context
52 wrap_lane(input,row,column,channel,height,width,stride,next_row,offset,output_width,kernel_column,padding,U32.from_nat(index),evidence)