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 1938–1950

greedyArgmaxSM86Build

Full file
1938def greedyArgmaxSM86Build =
1939  (lambda unrestricted vocabulary : Nat .
1940    (eliminate
1941      GreedyArgmaxSM86Validation
1942      (lambda unrestricted current : (family GreedyArgmaxSM86Validation) .
1943        (family GreedyArgmaxSM86Artifact))
1944      (greedyArgmaxSM86ValidateVocabulary vocabulary)
1945      (branch GreedyArgmaxSM86ValidationAccepted . (greedyArgmaxSM86BuildValidated vocabulary))
1946      (branch
1947        GreedyArgmaxSM86ValidationRejected
1948        failure
1949        .
1950        (greedyArgmaxSM86Failed (greedyArgmaxSM86ManifestFor vocabulary) failure zero zero zero))))

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.