AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,369 lines111 declarations56.2 KiBSHA-256 a67ed6dd6cbd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1067–1076

nativePhysicalImageFail

Full file
1067def nativePhysicalImageFail =
1068  (lambda unrestricted validation : (family NativePhysicalValidationTelemetry) .
1069    (lambda unrestricted encoded : Nat .
1070      (lambda unrestricted bodyBytes : Nat .
1071        (lambda unrestricted error : (family NativePhysicalImageErrorCode) .
1072          (constructor
1073            NativePhysicalImageResult
1074            NativePhysicalImageGenerationFailed
1075            error
1076            (nativePhysicalImageFailureTelemetryFor validation encoded bodyBytes 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.