1495def softmaxSM86ProgramFor =
1496 (lambda unrestricted variant : (family SoftmaxSM86Variant) .
1497 (eliminate
1498 SoftmaxSM86Variant
1499 (lambda unrestricted current : (family SoftmaxSM86Variant) . (family SM86Program))
1500 variant
1501 (branch SoftmaxSM86Forward . softmaxSM86ForwardProgram)
1502 (branch SoftmaxSM86CausalForward . softmaxSM86CausalForwardProgram)
1503 (branch SoftmaxSM86CausalForward1024 . softmaxSM86CausalForward1024Program)
1504 (branch SoftmaxSM86CausalBackward1024 . softmaxSM86CausalBackward1024Program)
1505 (branch SoftmaxSM86Backward . softmaxSM86BackwardProgram)))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.