def Crossings
import stelliferous@0.0.2.0/kernel_spatial_packing.bend as KernelSpatialPackingimport Base
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
108def Crossings() -> Type:
109 CrossingState<&1,Array<F32>,Array<Tile.Tile8>>
Uses (4)
Used by (11)
- stelliferous@0.0.2.0/proofs/kernel_packing_witness:CrossingEvidence
- stelliferous@0.0.2.0/kernel_spatial_packing:crossing_step
- stelliferous@0.0.2.0/proofs/kernel_packing_witness:restore_crossing
- stelliferous@0.0.2.0/kernel_spatial_packing:after_crossing
- stelliferous@0.0.2.0/kernel_spatial_packing:store_crossing
- …