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 158–183

nativePhysicalImageWord64Bytes

Full file
158def nativePhysicalImageWord64Bytes =
159  (lambda unrestricted value : (family ModelWord64) .
160    (eliminate
161      ModelWord64
162      (lambda unrestricted current : (family ModelWord64) . Bytes)
163      value
164      (branch
165        ModelWord64Value
166        byte0
167        byte1
168        byte2
169        byte3
170        byte4
171        byte5
172        byte6
173        byte7
174        .
175        (bytes-cons
176          byte0
177          (bytes-cons
178            byte1
179            (bytes-cons
180              byte2
181              (bytes-cons
182                byte3
183                (bytes-cons byte4 (bytes-cons byte5 (bytes-cons byte6 (bytes-cons byte7 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.