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 1676–1688

greedyArgmaxSM86EmptyTelemetry

Full file
1676def greedyArgmaxSM86EmptyTelemetry =
1677  (lambda unrestricted manifest : (family GreedyArgmaxSM86Manifest) .
1678    (lambda unrestricted observedInstructions : Nat .
1679      (lambda unrestricted observedBytes : Nat .
1680        (greedyArgmaxSM86TelemetryFor
1681          manifest
1682          observedInstructions
1683          observedBytes
1684          zero
1685          zero
1686          zero
1687          zero
1688          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.