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 1683–1695

greedyArgmaxSM86EmptyTelemetry

Full file
1683def greedyArgmaxSM86EmptyTelemetry =
1684  (lambda unrestricted manifest : (family GreedyArgmaxSM86Manifest) .
1685    (lambda unrestricted observedInstructions : Nat .
1686      (lambda unrestricted observedBytes : Nat .
1687        (greedyArgmaxSM86TelemetryFor
1688          manifest
1689          observedInstructions
1690          observedBytes
1691          zero
1692          zero
1693          zero
1694          zero
1695          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.