AlphaGitHub
Source/Packages

Runtime.NativeTelemetry

packages/execution/src/Runtime/NativeTelemetry.alpha

1,162 lines130 declarations44.5 KiBSHA-256 14316c5e4ddf
Download exact fileView at revisionf5034773ad4bb52133

def · lines 214–227

nativeTelemetryWord32Bytes

Full file
214def nativeTelemetryWord32Bytes =
215  (lambda unrestricted value : (family ModelWord32) .
216    (eliminate
217      ModelWord32
218      (lambda unrestricted current : (family ModelWord32) . Bytes)
219      value
220      (branch
221        ModelWord32Value
222        byte0
223        byte1
224        byte2
225        byte3
226        .
227        (bytes-cons byte0 (bytes-cons byte1 (bytes-cons byte2 (bytes-cons byte3 b"")))))))

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.