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 174–199

nativePhysicalImageWord64Bytes

Full file
174def nativePhysicalImageWord64Bytes =
175  (lambda unrestricted value : (family ModelWord64) .
176    (eliminate
177      ModelWord64
178      (lambda unrestricted current : (family ModelWord64) . Bytes)
179      value
180      (branch
181        ModelWord64Value
182        byte0
183        byte1
184        byte2
185        byte3
186        byte4
187        byte5
188        byte6
189        byte7
190        .
191        (bytes-cons
192          byte0
193          (bytes-cons
194            byte1
195            (bytes-cons
196              byte2
197              (bytes-cons
198                byte3
199                (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.