153def nativeProtocolRequireDecision =
154 (lambda unrestricted value : (family NativePhysicalOperand) .
155 (lambda unrestricted label : Bytes .
156 (lambda unrestricted tail : (family NativePhysicalCommands) .
157 (nativeLaunchRecipeCommand
158 (constructor
159 NativePhysicalOperation
160 NativePhysicalAssertOneOf
161 value
162 (nativeLaunchRecipeImmediate 0)
163 (nativeLaunchRecipeImmediate 1)
164 (constructor NativePhysicalErrorCode NativePhysicalExecutionAssertionFailed))
165 label
166 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.