def scatter
stelliferous@0.0.2.0 · proofs/traversal_lanes_certificate.bend:81
import stelliferous@0.0.2.0/proofs/traversal_lanes_certificate.bend as TraversalLanesCertificate
import Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/traversal_lanes.bend as Lanes
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate
import stelliferous@0.0.2.0/proofs/traversal_lanes_witness.bend as LanesWitness
81def scatter(-values: Array<F32>,+position: U32,-tile: Tile.Tile8,certificate: Certificate.Certificate<F32,values>) ->
82 Certificate.Certificate<F32,Lanes.scatter(values,position,tile)>:
83 Certificate.Certificate{+depth,equation} = certificate
84 Certificate.Certificate{depth,
85 %Certificate.restored(F32,depth,Lanes.scatter(values,position,tile),
86 LanesWitness.scatter(depth,values,position,tile,Certificate.witness_at(F32,depth,values,equation))) :
87 {_ == Tree.pack(F32,Certificate.normalized(F32,depth,Tree.reflect(F32,Lanes.scatter(values,position,tile)))) : Array<F32>}
88 {==}}