def masked
stelliferous@0.0.2.0 · proofs/kernel_packing_read_witness.bend:12
import stelliferous@0.0.2.0/proofs/kernel_packing_read_witness.bend as KernelPackingReadWitness
import Base
import stelliferous@0.0.2.0/kernel_packing_samples.bend as PackingSamples
import stelliferous@0.0.2.0/proofs/storage_witness.bend as Witness
import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness
12def masked(-input: Array<F32>,+inside: Bool,-result: Array<F32> & F32,observed: Witness.Read<F32,input,result>) ->
13 TraversalWitness.Sample<Array<F32>,F32,input,PackingSamples.mask_pixel(inside,result)>:
14 Witness.Read{value,equation} = observed
15 %Equal.sym(Array<F32> & F32,result,(input,value),equation) : TraversalWitness.Sample<Array<F32>,F32,input,PackingSamples.mask_pixel(inside,_)>
16 TraversalWitness.Sample{PackingSamples.masked(value,inside),{==}}