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 862–866

adamWF32RejectedTelemetry

Full file
862def adamWF32RejectedTelemetry =
863  (lambda unrestricted variant : (family AdamWF32SM86Variant) .
864    (lambda unrestricted logicalElements : Nat .
865      (lambda unrestricted ordinal : Nat .
866        (adamWF32TelemetryFor variant logicalElements zero zero zero zero zero ordinal))))

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.