AlphaGitHub
Source/Packages

Runtime.NativePhysicalImage

packages/execution/src/Runtime/NativePhysicalImage.alpha

1,752 lines134 declarations75.3 KiBSHA-256 b192ff97eba3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1450–1459

nativePhysicalImageFail

Full file
1450def nativePhysicalImageFail =
1451  (lambda unrestricted validation : (family NativePhysicalValidationTelemetry) .
1452    (lambda unrestricted encoded : Nat .
1453      (lambda unrestricted bodyBytes : Nat .
1454        (lambda unrestricted error : (family NativePhysicalImageErrorCode) .
1455          (constructor
1456            NativePhysicalImageResult
1457            NativePhysicalImageGenerationFailed
1458            error
1459            (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.