type Gathered

stelliferous@0.0.2.0 · proofs/traversal_lanes_witness.bend:12

import stelliferous@0.0.2.0/proofs/traversal_lanes_witness.bend as TraversalLanesWitness

import Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile

12type Gathered<-values: Array<F32>,-result: Array<F32> & Tile.Tile8> is Data:
13  Gathered{-cell: Tile.Tile8,equation: {result == (values,cell) : Array<F32> & Tile.Tile8}}

Uses (5)

Used by (4)