534def sm121LowerHasResult =
535 (lambda unrestricted class : (family SM121LowerClass) .
536 (eliminate
537 SM121LowerClass
538 (lambda unrestricted current : (family SM121LowerClass) . Nat)
539 class
540 (branch SM121LowerAlu . 1)
541 (branch SM121LowerDualAlu . 1)
542 (branch SM121LowerFma . 1)
543 (branch SM121LowerWide . 1)
544 (branch SM121LowerHalfToFloat . 1)
545 (branch SM121LowerTensor . 1)
546 (branch SM121LowerVariable . 1)
547 (branch SM121LowerMemory . 1)
548 (branch SM121LowerNoResult . zero)))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.