Source/Packages

Runtime.NativePhysicalEmbeddedArtifact

packages/execution/src/Runtime/NativePhysicalEmbeddedArtifact.alpha

976 lines100 declarations49.9 KiBSHA-256 2a58d1c1703e

def · lines 310–331

nativePhysicalEmbeddedManifestCanonicalBytes

Full file
Canonical version-1 manifest encoding.
310def nativePhysicalEmbeddedManifestCanonicalBytes =
311  (lambda unrestricted host : (family NativePhysicalEmbeddedDescriptor) .
312    (lambda unrestricted program : (family NativePhysicalEmbeddedDescriptor) .
313      (lambda unrestricted qmd : (family NativePhysicalEmbeddedDescriptor) .
314        (lambda unrestricted pushbuffer : (family NativePhysicalEmbeddedDescriptor) .
315          (lambda unrestricted gpfifo : (family NativePhysicalEmbeddedDescriptor) .
316            (bytes-builder-build
317              (bytes-builder-append
318                (bytes-builder-chunk nativePhysicalEmbeddedManifestMagic)
319                (bytes-builder-append
320                  (bytes-builder-chunk
321                    (nativePhysicalEmbeddedWord32Bytes nativePhysicalEmbeddedVersion))
322                  (bytes-builder-append
323                    (bytes-builder-chunk (nativePhysicalEmbeddedDescriptorBytes host))
324                    (bytes-builder-append
325                      (bytes-builder-chunk (nativePhysicalEmbeddedDescriptorBytes program))
326                      (bytes-builder-append
327                        (bytes-builder-chunk (nativePhysicalEmbeddedDescriptorBytes qmd))
328                        (bytes-builder-append
329                          (bytes-builder-chunk (nativePhysicalEmbeddedDescriptorBytes pushbuffer))
330                          (bytes-builder-chunk
331                            (nativePhysicalEmbeddedDescriptorBytes gpfifo))))))))))))))

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.