74def nativeObservedJournalCheckDescriptor =
75 (lambda unrestricted descriptorSlot : Nat .
76 (lambda unrestricted pathAt : Nat .
77 (lambda unrestricted workSlot : Nat .
78 (lambda unrestricted error : Bytes .
79 (lambda unrestricted tail : (family NativePhysicalCommands) .
80 (nativeObservedJournalCall
81 5
82 (nativeLaunchRecipeArguments
83 (nativeLaunchRecipeSlotValue descriptorSlot)
84 (nativeTelemetryPolicyState (nativeObservedJournalStatAt pathAt))
85 (nativeLaunchRecipeImmediate 0)
86 (nativeLaunchRecipeImmediate 0))
87 b""
88 workSlot
89 error
90 (nativeLaunchRecipeAssertEqual
91 (nativeLaunchRecipeSlotValue workSlot)
92 (nativeLaunchRecipeImmediate 0)
93 error
94 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.