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 1697–1709

greedyArgmaxSM86Failed

Full file
1697def greedyArgmaxSM86Failed =
1698  (lambda unrestricted manifest : (family GreedyArgmaxSM86Manifest) .
1699    (lambda unrestricted code : (family GreedyArgmaxSM86FailureCode) .
1700      (lambda unrestricted ordinal : Nat .
1701        (lambda unrestricted observedInstructions : Nat .
1702          (lambda unrestricted observedBytes : Nat .
1703            (constructor
1704              GreedyArgmaxSM86Artifact
1705              GreedyArgmaxSM86ArtifactFailed
1706              code
1707              ordinal
1708              (greedyArgmaxSM86FailureCodeBytes code)
1709              (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.