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 132–140

nativePhysicalEmbeddedPayloadInMemory

Full file
In-memory payload constructor for direct whole-program linking. The stable identity is kept typed and the material never becomes a path or temporary file.
132def nativePhysicalEmbeddedPayloadInMemory =
133  (lambda unrestricted identity : Bytes .
134    (lambda unrestricted material : Bytes .
135      (constructor
136        NativePhysicalEmbeddedPayload
137        NativePhysicalEmbeddedPayloadValue
138        material
139        identity
140        nativePhysicalEmbeddedDigestOmitted)))

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.