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