Source/Packages

Runtime.NativePhysicalNativeELF

packages/execution/src/Runtime/NativePhysicalNativeELF.alpha

622 lines68 declarations26.2 KiBSHA-256 10815f9a5c49

def · lines 189–212

nativePhysicalNativeELFTelemetryFor

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