AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/ExactCrossEntropySM86.alpha

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1324–1333

exactCrossEntropySM86TelemetryFor

Full file
1324def exactCrossEntropySM86TelemetryFor =
1325  (lambda unrestricted variant : (family ExactCrossEntropySM86Variant) .
1326    (lambda unrestricted instructions : Nat .
1327      (lambda unrestricted bytes : Nat .
1328        (constructor
1329          ExactCrossEntropySM86Telemetry
1330          ExactCrossEntropySM86TelemetryValue
1331          (exactCrossEntropySM86ManifestFor variant)
1332          instructions
1333          bytes))))

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.