253def nativeTelemetryIdentityCommandFor =
254 (lambda unrestricted routine : Bytes .
255 (lambda unrestricted applicationBytes : Nat .
256 (lambda unrestricted ordinaryCapacity : Nat .
257 (lambda unrestricted reservedCapacity : Nat .
258 (lambda unrestricted resultSlot : Nat .
259 (lambda unrestricted identity : Bytes .
260 (lambda unrestricted tail : (family NativePhysicalCommands) .
261 (nativeLaunchRecipeCommand
262 (constructor
263 NativePhysicalOperation
264 NativePhysicalMachineRoutine
265 (aosChoose
266 Bytes
267 (captureWithIdentityArenaCertificate
268 applicationBytes
269 ordinaryCapacity
270 reservedCapacity)
271 routine
272 b"")
273 (nativeLaunchRecipeArguments
274 (constructor
275 NativePhysicalOperand
276 NativePhysicalStateAddress
277 (modelWord64FromNaturalTruncated
278 (captureIdentityAt applicationBytes ordinaryCapacity reservedCapacity)))
279 (nativeLaunchRecipeImmediate telemetryIdentitySetBytes)
280 (nativeLaunchRecipeImmediate 1)
281 (nativeLaunchRecipeImmediate 0))
282 (nativeLaunchRecipeStore resultSlot))
283 identity
284 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.