AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,369 lines111 declarations56.2 KiBSHA-256 a67ed6dd6cbd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 144–156

nativePhysicalImageWord64

Full file
144def nativePhysicalImageWord64 =
145  (lambda unrestricted byte0 : Byte .
146    (constructor
147      ModelWord64
148      ModelWord64Value
149      byte0
150      (byte 0)
151      (byte 0)
152      (byte 0)
153      (byte 0)
154      (byte 0)
155      (byte 0)
156      (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.