The host-program commands that bring one embedded launch-table recipe into
a mapped arena: read the recipe from the executable into a staging area,
expand it in place with the shared routine, and require the exact extent.
Every system's host program loads its program, QMD, pushbuffer and GPFIFO
components through this fragment; nothing here knows a system or a card.
16def nativeLaunchRecipeWord =
17 (lambda unrestricted value : Nat . (modelWord64FromNaturalTruncated value))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.