Canonical fixed-width descriptor encoding.
240def nativePhysicalEmbeddedDescriptorBytes =
241 (lambda unrestricted descriptor : (family NativePhysicalEmbeddedDescriptor) .
242 (eliminate
243 NativePhysicalEmbeddedDescriptor
244 (lambda unrestricted current : (family NativePhysicalEmbeddedDescriptor) . Bytes)
245 descriptor
246 (branch
247 NativePhysicalEmbeddedDescriptorValue
248 kind
249 offset
250 length
251 identity
252 digest
253 .
254 (bytes-builder-build
255 (bytes-builder-append
256 (bytes-builder-chunk
257 (nativePhysicalEmbeddedWord32Bytes (nativePhysicalEmbeddedComponentTag kind)))
258 (bytes-builder-append
259 (bytes-builder-chunk (nativePhysicalEmbeddedWord32Bytes offset))
260 (bytes-builder-append
261 (bytes-builder-chunk (nativePhysicalEmbeddedWord32Bytes length))
262 (bytes-builder-append
263 (bytes-builder-chunk identity)
264 (bytes-builder-chunk 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.