AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,401 lines164 declarations94.5 KiBSHA-256 92e7bf9c2555
Download exact fileView at revisionf5034773ad4bb52133

def · lines 266–272

sm86Unsigned32BytesNatural

Full file
266def sm86Unsigned32BytesNatural =
267  (lambda unrestricted byte0 : Byte .
268    (lambda unrestricted byte1 : Byte .
269      (lambda unrestricted byte2 : Byte .
270        (lambda unrestricted byte3 : Byte .
271          (sm86Unsigned32Natural
272            (constructor SM86Unsigned32 SM86Unsigned32Value 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.