783def exactCrossEntropyPartialProgramForUnchecked =
784 (lambda unrestricted rows : Nat .
785 (sm86ProgramAppend
786 exactCrossEntropyPartialPrefix
787 (sm86ProgramAppend exactCrossEntropyPartialReduction
788 (exactCrossEntropyPartialSuffixFor rows))))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.