1499def sm86SharedMatrixTransposeNatural =
1500 (lambda unrestricted transpose : (family SM86SharedMatrixTranspose) .
1501 (eliminate
1502 SM86SharedMatrixTranspose
1503 (lambda unrestricted current : (family SM86SharedMatrixTranspose) . Nat)
1504 transpose
1505 (branch SM86SharedMatrixNotTransposed . zero)
1506 (branch SM86SharedMatrixTransposed . sm86InstructionNaturalOne)))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.