Fixed-width canonical manifest assembly. Each input is one canonical
108-byte descriptor produced by the function above.
288def nativePhysicalEmbeddedManifestFixedWidthBytes =
289 (lambda unrestricted host : Bytes .
290 (lambda unrestricted program : Bytes .
291 (lambda unrestricted qmd : Bytes .
292 (lambda unrestricted pushbuffer : Bytes .
293 (lambda unrestricted gpfifo : Bytes .
294 (bytes-builder-build
295 (bytes-builder-append
296 (bytes-builder-chunk nativePhysicalEmbeddedManifestMagic)
297 (bytes-builder-append
298 (bytes-builder-chunk (dataBytesWord32LE modelWord32One))
299 (bytes-builder-append
300 (bytes-builder-chunk host)
301 (bytes-builder-append
302 (bytes-builder-chunk program)
303 (bytes-builder-append
304 (bytes-builder-chunk qmd)
305 (bytes-builder-append
306 (bytes-builder-chunk pushbuffer)
307 (bytes-builder-chunk gpfifo)))))))))))))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.