Source/Packages

Runtime.NativePhysicalProgram

packages/execution/src/Runtime/NativePhysicalProgram.alpha

1,008 lines185 declarations40.0 KiBSHA-256 e6bb0cdfb8f4

def · lines 912–924

nativePhysicalReject

Full file
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.