AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,978 lines222 declarations72.8 KiBSHA-256 b399c7cf28cc
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1586–1592

greedyArgmaxSM86ProgramFor

Full file
1586def greedyArgmaxSM86ProgramFor =
1587  (lambda unrestricted vocabulary : Nat .
1588    (sm86ProgramAppend
1589      greedyArgmaxSM86InitialProgram
1590      (sm86ProgramAppend
1591        (greedyArgmaxSM86SlotPrograms vocabulary)
1592        (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.