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 329–336

sm86InstructionOneWord24Field

Full file
329def sm86InstructionOneWord24Field =
330  (lambda unrestricted position : Nat .
331    (lambda unrestricted byte0 : Byte .
332      (lambda unrestricted byte1 : Byte .
333        (lambda unrestricted byte2 : Byte .
334          (sm86InstructionFieldsCons
335            (sm86InstructionWord24Field position byte0 byte1 byte2)
336            sm86InstructionFieldsEmpty)))))

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.