51def nativeLaunchRecipeAssertEqual =
52 (lambda unrestricted left : (family NativePhysicalOperand) .
53 (lambda unrestricted right : (family NativePhysicalOperand) .
54 (lambda unrestricted errorIdentity : Bytes .
55 (lambda unrestricted tail : (family NativePhysicalCommands) .
56 (nativeLaunchRecipeCommand
57 (constructor NativePhysicalOperation NativePhysicalAssertEqual left right
58 (constructor NativePhysicalErrorCode NativePhysicalExecutionAssertionFailed))
59 errorIdentity
60 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.