AlphaGitHub
Source/Packages

Accelerator.SM86.QMD

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/QMD.alpha

146 lines31 declarations6.6 KiBSHA-256 a90b35171dcd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 28–34

sm86QMDWord32

Full file
28def sm86QMDWord32 =
29  (lambda unrestricted byte0 : Byte .
30    (lambda unrestricted byte1 : Byte .
31      (lambda unrestricted byte2 : Byte .
32        (lambda unrestricted byte3 : Byte .
33          (constructor SM86QMDWord32 SM86QMDWord32Value
34            byte0 byte1 byte2 byte3)))))

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.