AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,752 lines134 declarations75.3 KiBSHA-256 b192ff97eba3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1133–1139

nativePhysicalImageLittleEndian32

Full file
1133def nativePhysicalImageLittleEndian32 =
1134  (lambda unrestricted value : Nat .
1135    (bytes-cons (nat-to-byte (naturalModuloUnchecked value 256))
1136      (bytes-cons (nat-to-byte (naturalModuloUnchecked (naturalDivideUnchecked value 256) 256))
1137        (bytes-cons (nat-to-byte (naturalModuloUnchecked (naturalDivideUnchecked value 65536) 256))
1138          (bytes-cons (nat-to-byte (naturalModuloUnchecked (naturalDivideUnchecked value 16777216) 256))
1139            b"")))))

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.