The reader's row.
582def sm121LowerReaderRow =
583 (lambda unrestricted class : (family SM121LowerClass) .
584 (lambda unrestricted column : Nat .
585 (eliminate
586 SM121LowerClass
587 (lambda unrestricted current : (family SM121LowerClass) . Nat)
588 class
589 (branch SM121LowerAlu . (sm121LowerRow 4 4 5 5 5 19 column))
590 (branch SM121LowerDualAlu . (sm121LowerRow 4 4 5 5 5 19 column))
591 (branch SM121LowerFma . (sm121LowerRow 5 5 4 4 5 19 column))
592 (branch SM121LowerWide . (sm121LowerRow 5 5 4 6 5 19 column))
593 (branch SM121LowerHalfToFloat . (sm121LowerRow 5 5 5 5 5 19 column))
594 (branch SM121LowerTensor . (sm121LowerRow 7 7 7 7 7 20 column))
595 (branch SM121LowerVariable . (sm121LowerRow 4 4 4 4 4 19 column))
596 (branch SM121LowerMemory . (sm121LowerRow 5 5 5 5 5 19 column))
597 (branch SM121LowerNoResult . (sm121LowerRow 4 4 5 5 5 19 column)))))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.