912def nativePhysicalReject =
913 (lambda unrestricted program : (family NativePhysicalProgram) .
914 (lambda unrestricted error : (family NativePhysicalErrorCode) .
915 (lambda unrestricted ordinal : Nat .
916 (constructor
917 NativePhysicalProgramValidation
918 NativePhysicalProgramRejected
919 error
920 (nativePhysicalValidationTelemetryFor
921 program
922 (succ zero)
923 ordinal
924 (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.