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 160–172

nativePhysicalImageWord64

Full file
160def nativePhysicalImageWord64 =
161  (lambda unrestricted byte0 : Byte .
162    (constructor
163      ModelWord64
164      ModelWord64Value
165      byte0
166      (byte 0)
167      (byte 0)
168      (byte 0)
169      (byte 0)
170      (byte 0)
171      (byte 0)
172      (byte 0)))

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.