def gather7
import stelliferous@0.0.2.0/traversal_lanes.bend as TraversalLanesimport Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
12def gather7(~Context: Data,~map: Context -> F32 -> F32,+position: U32,+context: Context,+a: F32,+b: F32,+c: F32,+d: F32,+e: F32,+f: F32,
13 read: Array<F32> & F32) -> Array<F32> & Tile.Tile8:
14 (values,g) = read
15 gathered(~Context,~map,context,a,b,c,d,e,f,g,Array.get(F32,values,(position + 1 : U32)))