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 159–169

nativePhysicalEmbeddedComponentTag

Full file
Stable descriptor tags, in physical layout order.
159def nativePhysicalEmbeddedComponentTag =
160  (lambda unrestricted kind : (family NativePhysicalEmbeddedComponentKind) .
161    (eliminate
162      NativePhysicalEmbeddedComponentKind
163      (lambda unrestricted current : (family NativePhysicalEmbeddedComponentKind) . Nat)
164      kind
165      (branch NativePhysicalEmbeddedHostELF . (succ zero))
166      (branch NativePhysicalEmbeddedProgramTable . (byte-to-nat (byte 2)))
167      (branch NativePhysicalEmbeddedQMDTable . (byte-to-nat (byte 3)))
168      (branch NativePhysicalEmbeddedPushbuffer . (byte-to-nat (byte 4)))
169      (branch NativePhysicalEmbeddedGPFIFO . (byte-to-nat (byte 5)))))

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.