1315def nativePhysicalReject =
1316 (lambda unrestricted program : (family NativePhysicalProgram) .
1317 (lambda unrestricted error : (family NativePhysicalErrorCode) .
1318 (lambda unrestricted ordinal : Nat .
1319 (constructor
1320 NativePhysicalProgramValidation
1321 NativePhysicalProgramRejected
1322 error
1323 (nativePhysicalValidationTelemetryFor
1324 program
1325 (succ zero)
1326 ordinal
1327 (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.