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 32–38

encodeSM86Unsigned32LE

Full file
32def encodeSM86Unsigned32LE =
33  (lambda unrestricted value : (family SM86Unsigned32) .
34    (eliminate
35      SM86Unsigned32
36      (lambda unrestricted current : (family SM86Unsigned32) . Bytes)
37      value
38      (branch SM86Unsigned32Value b0 b1 b2 b3 . (bytes 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.