1405def cgImageTranspose =
1406 (lambda unrestricted groups : Nat .
1407 (lambda unrestricted rows : Nat .
1408 (lambda unrestricted columns : Nat .
1409 (cgImage
1410 (bytes-append
1411 (nat-eliminate
1412 (lambda unrestricted current : Nat . Bytes)
1413 (bytes-append b"transpose-g" (bytes-append (cgDecimal groups) b"-r"))
1414 (lambda unrestricted q : Nat . (lambda unrestricted ignored : Bytes . b"transpose-r"))
1415 (naturalEqual groups 1))
1416 (bytes-append (cgDecimal rows) (bytes-append b"-c" (cgDecimal columns))))))))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.