AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.AttentionHeadLayoutSM86

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

1,710 lines162 declarations85.3 KiBSHA-256 ad8cef82929b
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1256–1274

attentionHeadLayoutSM86TelemetryFor

Full file
1256def attentionHeadLayoutSM86TelemetryFor =
1257  (lambda unrestricted kind : (family AttentionHeadLayoutSM86Kind) .
1258    (lambda unrestricted actual : Nat .
1259      (lambda unrestricted bytes : Nat .
1260        (lambda unrestricted fields : Nat .
1261          (lambda unrestricted bits : Nat .
1262            (constructor
1263              AttentionHeadLayoutSM86Telemetry
1264              AttentionHeadLayoutSM86TelemetryValue
1265              kind
1266              (attentionHeadLayoutSM86ExpectedInstructions kind)
1267              actual
1268              (attentionHeadLayoutSM86Registers kind)
1269              (attentionHeadLayoutSM86GridX kind)
1270              (attentionHeadLayoutSM86BlockX kind)
1271              attentionHeadLayoutSM86Extents
1272              bytes
1273              fields
1274              bits))))))

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.