AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/GreedyArgmaxSM86.alpha

1,985 lines222 declarations73.3 KiBSHA-256 a4ae889c3756
Download exact fileView at revision426597bda5753d86c4

def · lines 1593–1599

greedyArgmaxSM86ProgramFor

Full file
1593def greedyArgmaxSM86ProgramFor =
1594  (lambda unrestricted vocabulary : Nat .
1595    (sm86ProgramAppend
1596      greedyArgmaxSM86InitialProgram
1597      (sm86ProgramAppend
1598        (greedyArgmaxSM86SlotPrograms vocabulary)
1599        (sm86ProgramAppend greedyArgmaxSM86BlockReduceProgram greedyArgmaxSM86SuffixProgram))))

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.