AlphaGitHub
Source/Packages

Accelerator.SM86.FieldEncoding

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

861 lines86 declarations33.8 KiBSHA-256 1449867e9447
Download exact fileView at revisionf5034773ad4bb52133

def · lines 769–779

sm86ControlEncodingNatural

Full file
769def sm86ControlEncodingNatural =
770  (lambda unrestricted encoded : Bytes .
771    (naturalAdd
772      (byte-to-nat (sm86ByteAt zero encoded))
773      (naturalAdd
774        (naturalMultiply
775          (byte-to-nat (sm86ByteAt (succ zero) encoded))
776          byteNaturalTwoHundredFiftySix)
777        (naturalMultiply
778          (byte-to-nat (sm86ByteAt (succ (succ zero)) encoded))
779          sm86EncodingNaturalSixtyFiveThousandFiveHundredThirtySix))))

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.