Constructs a typed descriptor from an admitted payload and physical offset.
226def nativePhysicalEmbeddedMakeDescriptor =
227 (lambda unrestricted kind : (family NativePhysicalEmbeddedComponentKind) .
228 (lambda unrestricted offset : Nat .
229 (lambda unrestricted payload : (family NativePhysicalEmbeddedPayload) .
230 (constructor
231 NativePhysicalEmbeddedDescriptor
232 NativePhysicalEmbeddedDescriptorValue
233 kind
234 offset
235 (bytes-length (nativePhysicalEmbeddedPayloadMaterial payload))
236 (nativePhysicalEmbeddedPayloadIdentityValue payload)
237 (nativePhysicalEmbeddedPayloadDigestValue payload)))))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.