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 647–653

nativePhysicalEmbeddedDescriptorDigestValue

Full file
647def nativePhysicalEmbeddedDescriptorDigestValue =
648  (lambda unrestricted descriptor : (family NativePhysicalEmbeddedDescriptor) .
649    (eliminate
650      NativePhysicalEmbeddedDescriptor
651      (lambda unrestricted current : (family NativePhysicalEmbeddedDescriptor) . Bytes)
652      descriptor
653      (branch NativePhysicalEmbeddedDescriptorValue kind offset length identity digest . digest)))

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.