1183def nativePhysicalReject =
1184 (lambda unrestricted program : (family NativePhysicalProgram) .
1185 (lambda unrestricted error : (family NativePhysicalErrorCode) .
1186 (lambda unrestricted ordinal : Nat .
1187 (constructor
1188 NativePhysicalProgramValidation
1189 NativePhysicalProgramRejected
1190 error
1191 (nativePhysicalValidationTelemetryFor
1192 program
1193 (succ zero)
1194 ordinal
1195 (nativePhysicalErrorCodeBytes 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.