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 1690–1702

greedyArgmaxSM86Failed

Full file
1690def greedyArgmaxSM86Failed =
1691  (lambda unrestricted manifest : (family GreedyArgmaxSM86Manifest) .
1692    (lambda unrestricted code : (family GreedyArgmaxSM86FailureCode) .
1693      (lambda unrestricted ordinal : Nat .
1694        (lambda unrestricted observedInstructions : Nat .
1695          (lambda unrestricted observedBytes : Nat .
1696            (constructor
1697              GreedyArgmaxSM86Artifact
1698              GreedyArgmaxSM86ArtifactFailed
1699              code
1700              ordinal
1701              (greedyArgmaxSM86FailureCodeBytes code)
1702              (greedyArgmaxSM86EmptyTelemetry manifest observedInstructions observedBytes)))))))

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.