260def nativeTelemetryRecordCommands =
261 (lambda unrestricted program : (family TelemetryRecordPlan) .
262 (lambda unrestricted source : (family NativePhysicalOperand) .
263 (lambda unrestricted identities : (family NativePhysicalOperand) .
264 (lambda unrestricted arenaAt : Nat .
265 (lambda unrestricted resultSlot : Nat .
266 (lambda unrestricted identity : Bytes .
267 (lambda unrestricted tail : (family NativePhysicalCommands) .
268 (eliminate
269 TelemetryRecordPlan
270 (lambda unrestricted current : (family TelemetryRecordPlan) .
271 (family NativePhysicalCommands))
272 program
273 (branch
274 TelemetryRecordReady
275 parts
276 template
277 .
278 (recordRenderCommands
279 parts
280 template
281 source
282 identities
283 arenaAt
284 resultSlot
285 identity
286 tail))
287 (branch
288 TelemetryRecordRefused
289 reason
290 .
291 (nativeLaunchRecipeCommand
292 (constructor
293 NativePhysicalOperation
294 NativePhysicalMachineRoutine
295 b""
296 (nativeLaunchRecipeArguments
297 source
298 identities
299 (recordState arenaAt)
300 (nativeLaunchRecipeImmediate 0))
301 (nativeLaunchRecipeStore resultSlot))
302 identity
303 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.