599def coppeliusTiledShapeImage = (lambda unrestricted shape : (family CoppeliusTiledShape) .
600 (eliminate CoppeliusTiledShape (lambda unrestricted c : (family CoppeliusTiledShape) . (family CoppeliusDeviceImage)) shape
601 (branch CoppeliusTiledShapeValue a b m n k residual .
602 (let unrestricted tile = (coppeliusTiledTile residual a b m n k) in
603 (coppeliusDeviceImage (coppeliusTiledName residual a b m n k) (coppeliusTiledProgramAs 1 residual a b m n k)
604 (tiledProductSM86Registers tile) (tiledProductSM86Threads tile) (tiledProductSM86SharedBytes tile))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.