Whole-program publication path. The NativePhysicalProgram remains a
checked Alpha value, while the compiler lowers its constructor tree to the
ALPXPHY4 records in one backend operation. This is semantically the fast
image encoder above (including the inert 64-byte zero digest), but avoids
interpreting thousands of byte-building eliminators during compilation.
The image is packed (Runtime.NativePhysicalImagePlan): the executable
carries it compressed, and its load segment reserves the pages the
interpreter unpacks it into, so nothing executes differently.
519def nativePhysicalPackedImageWord =
520 (lambda unrestricted container : Bytes .
521 (lambda unrestricted at : Nat .
522 (byte-to-nat (dataBytesByteAtValidated container at))))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.