This constructor binds every pointer/extent to the same certified plan.
Invalid placements lower to an unavailable routine and fail artifact build;
unsupported host targets must refuse this x86 realization, never copy it.
236def nativeTelemetryCaptureSelectedCommand =
237 (lambda unrestricted applicationBytes : Nat .
238 (lambda unrestricted ordinaryCapacity : Nat .
239 (lambda unrestricted reservedCapacity : Nat .
240 (lambda unrestricted selected : (family NativePhysicalOperand) .
241 (lambda unrestricted reserved : Nat .
242 (lambda unrestricted resultSlot : Nat .
243 (lambda unrestricted identity : Bytes .
244 (lambda unrestricted tail : (family NativePhysicalCommands) .
245 (nativeLaunchRecipeCommand
246 (constructor
247 NativePhysicalOperation
248 NativePhysicalMachineRoutine
249 (aosChoose
250 Bytes
251 (captureArenaCertificate applicationBytes ordinaryCapacity reservedCapacity)
252 nativeTelemetryCaptureRoutine
253 b"")
254 (constructor
255 NativePhysicalArguments
256 NativePhysicalArgumentsValue
257 (constructor
258 NativePhysicalOperand
259 NativePhysicalStateAddress
260 (modelWord64FromNaturalTruncated (captureControlAt applicationBytes)))
261 (constructor
262 NativePhysicalOperand
263 NativePhysicalStateAddress
264 (modelWord64FromNaturalTruncated (captureQueueAt applicationBytes)))
265 (constructor
266 NativePhysicalOperand
267 NativePhysicalStateAddress
268 (modelWord64FromNaturalTruncated
269 (captureValuesScratchAt
270 applicationBytes
271 ordinaryCapacity
272 reservedCapacity)))
273 selected
274 (nativeLaunchRecipeImmediate reserved)
275 (nativeLaunchRecipeImmediate
276 (captureQueueBytes ordinaryCapacity reservedCapacity)))
277 (nativeLaunchRecipeStore resultSlot))
278 identity
279 tail)))))))))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.