Deployment capacity admission precedes emission on every target. The
program remains the only source of state, result-slot and scratch sizes;
the caller cannot substitute a smaller declared interpreter allocation.
47def nativeHostTargetResourceArtifact =
48 (lambda unrestricted target : (family NativeHostTarget) .
49 (lambda unrestricted resources : (family NativeResourceContext) .
50 (lambda unrestricted program : (family NativePhysicalProgram) .
51 (nat-eliminate
52 (lambda unrestricted valid : Nat . Bytes)
53 b""
54 (lambda unrestricted prior : Nat .
55 (lambda unrestricted ignored : Bytes . (nativeHostTargetProgramBytes target program)))
56 (nativePhysicalResourcesAdmitted resources program)))))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.