AlphaGitHub
Source/Packages

Runtime.NativePhysicalEmbeddedArtifact

packages/execution/src/Runtime/NativePhysicalEmbeddedArtifact.alpha

976 lines100 declarations49.9 KiBSHA-256 2a58d1c1703e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 346–358

nativePhysicalEmbeddedFooterFixedWidthBytes

Full file
Fixed-width EOF locator matching nativePhysicalEmbeddedFooterBytes without a large Nat-to-Word32 reduction in the packager evaluator.
346def nativePhysicalEmbeddedFooterFixedWidthBytes =
347  (lambda unrestricted manifestOffset : (family ModelWord32) .
348    (bytes-builder-build
349      (bytes-builder-append
350        (bytes-builder-chunk nativePhysicalEmbeddedFooterMagic)
351        (bytes-builder-append
352          (bytes-builder-chunk (dataBytesWord32LE manifestOffset))
353          (bytes-builder-chunk
354            (dataBytesWord32LE
355              (constructor
356                ModelWord32
357                ModelWord32Value
358                (byte 40) (byte 2) (byte 0) (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.