AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AdamWSM86

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

1,127 lines173 declarations39.3 KiBSHA-256 0c5cdf90be84
Download exact fileView at revision426597bda5753d86c4

def · lines 842–860

adamWF32TelemetryFor

Full file
842def adamWF32TelemetryFor =
843  (lambda unrestricted variant : (family AdamWF32SM86Variant) .
844    (lambda unrestricted logicalElements : Nat .
845      (lambda unrestricted observedInstructions : Nat .
846        (lambda unrestricted observedEncodedBytes : Nat .
847          (lambda unrestricted encodedFields : Nat .
848            (lambda unrestricted encodedBits : Nat .
849              (lambda unrestricted highestEncodedBit : Nat .
850                (lambda unrestricted failureOrdinal : Nat .
851                  (constructor
852                    AdamWF32SM86Telemetry
853                    AdamWF32SM86TelemetryValue
854                    (adamWF32ManifestFor variant logicalElements)
855                    observedInstructions
856                    observedEncodedBytes
857                    encodedFields
858                    encodedBits
859                    highestEncodedBit
860                    failureOrdinal)))))))))

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.