1488def cgTiled =
1489 (lambda unrestricted a : (family TiledProductLayout) . (lambda unrestricted b : (family TiledProductLayout) .
1490 (lambda unrestricted m : Nat . (lambda unrestricted n : Nat . (lambda unrestricted k : Nat .
1491 (lambda unrestricted c : Nat . (lambda unrestricted left : Nat . (lambda unrestricted right : Nat .
1492 (cgTiledLaunch 0 a b m n k
1493 (cgPointer (cgArgument 0) c (cgPointer (cgArgument 1) left (cgPointer (cgArgument 2) right cgNoSlots))))))))))))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.