AlphaGitHub
Source/Packages

Runtime.TelemetryValue

packages/execution/src/Runtime/TelemetryValue.alpha

138 lines12 declarations5.1 KiBSHA-256 009e6a09feb8
Download exact fileView at revision426597bda5753d86c4

def · lines 41–56

telemetrySignedCell

Full file
41def telemetrySignedCell =
42  (lambda unrestricted negative : Nat .
43    (lambda unrestricted magnitude : Nat .
44      (aosChoose
45        Bytes
46        (naturalAnd
47          (naturalLessOrEqual negative 1)
48          (aosChoose
49            Nat
50            negative
51            (naturalAnd
52              (naturalNonzero magnitude)
53              (naturalLessOrEqual magnitude aosI64MinimumMagnitude))
54            (naturalLessOrEqual magnitude aosI64Maximum)))
55        (telemetryDecimalCell negative magnitude)
56        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.