994def exactCrossEntropyMeanShapeAdmitted =
995 (lambda unrestricted rows : Nat .
996 (naturalAnd (naturalNonzero rows)
997 (naturalAnd
998 (naturalIsZero (naturalModuloUnchecked rows
999 reductionSM86WarpSum1024RequiredThreads))
1000 (naturalAnd
1001 (naturalLessOrEqual
1002 (naturalDivideUnchecked rows reductionSM86WarpSum1024RequiredThreads)
1003 exactCrossEntropyMeanPartialSlots)
1004 (naturalLess (naturalAdd rows exactCrossEntropyMeanPartialSlots)
1005 (naturalPowerOfTwo 32))))))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.