58def nativeObservedJournalCall =
59 (lambda unrestricted syscall : Nat .
60 (lambda unrestricted arguments : (family NativePhysicalArguments) .
61 (lambda unrestricted payload : Bytes .
62 (lambda unrestricted resultSlot : Nat .
63 (lambda unrestricted error : Bytes .
64 (nativeLaunchRecipeCommand
65 (constructor
66 NativePhysicalOperation
67 NativePhysicalSystemCall
68 (nativeLaunchRecipeImmediate syscall)
69 arguments
70 payload
71 (nativeLaunchRecipeStore resultSlot))
72 error))))))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.