AlphaGitHub
Source/Packages

Accelerator.SM86.Immediate

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

38 lines11 declarations1.4 KiBSHA-256 0f554edb3b93
Download exact fileView at revisionf5034773ad4bb52133

def · lines 12–17

sm86Unsigned32

Full file
12def sm86Unsigned32 =
13  (lambda unrestricted b0 : Byte .
14    (lambda unrestricted b1 : Byte .
15      (lambda unrestricted b2 : Byte .
16        (lambda unrestricted b3 : Byte .
17          (constructor SM86Unsigned32 SM86Unsigned32Value b0 b1 b2 b3)))))

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.