Source/Packages

Runtime.NativePhysicalNativeELF

packages/execution/src/Runtime/NativePhysicalNativeELF.alpha

561 lines63 declarations22.7 KiBSHA-256 bdc7983b4ab1

def · lines 190–213

nativePhysicalNativeELFTelemetryFor

Full file
190def nativePhysicalNativeELFTelemetryFor =
191  (lambda unrestricted code : Bytes .
192    (lambda unrestricted image : Bytes .
193      (lambda unrestricted machine : Bytes .
194        (lambda unrestricted elf : Bytes .
195          (lambda unrestricted identity : Bytes .
196            (lambda unrestricted codeDigest : Bytes .
197              (lambda unrestricted imageDigest : Bytes .
198                (lambda unrestricted machineDigest : Bytes .
199                  (lambda unrestricted elfDigest : Bytes .
200                    (constructor
201                      NativePhysicalNativeELFTelemetry
202                      NativePhysicalNativeELFTelemetryValue
203                      (bytes-length code)
204                      (bytes-length image)
205                      (bytes-length machine)
206                      (bytes-length elf)
207                      zero
208                      zero
209                      identity
210                      codeDigest
211                      imageDigest
212                      machineDigest
213                      elfDigest))))))))))

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.