def Tiled
import stelliferous@0.0.2.0/kernel_spatial_packing.bend as KernelSpatialPackingimport Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
128def Tiled() -> Type:
129 TileState<&1,Array<F32>,Array<Tile.Tile8>>
Uses (4)
Used by (12)
- stelliferous@0.0.2.0/proofs/kernel_packing_witness:TileEvidence
- stelliferous@0.0.2.0/kernel_spatial_packing:tile_step
- stelliferous@0.0.2.0/proofs/kernel_packing_witness:restore_tiles
- stelliferous@0.0.2.0/kernel_spatial_packing:after_crossing
- stelliferous@0.0.2.0/kernel_spatial_packing:after_row_tile
- …