19def telemetryDecimalCell =
20 (lambda unrestricted negative : Nat .
21 (lambda unrestricted magnitude : Nat .
22 (let unrestricted digits =
23 (bytes-append
24 (aosChoose Bytes negative b"-" b"")
25 (naturalDecimalBytesWithin telemetryDecimalDigits magnitude))
26 in
27 (bytes-append
28 b"\""
29 (bytes-append
30 digits
31 (bytes-append
32 b"\""
33 (dataBytesRepeatByte
34 (byte 32)
35 (naturalSaturatingSubtract telemetryDecimalDigits (bytes-length digits)))))))))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.