AlphaGitHub
Source/Packages

Observe.Value

packages/observability/src/Observe/Value.alpha

564 lines114 declarations29.3 KiBSHA-256 09f8c02938ee
Download exact fileView at revision426597bda5753d86c4

def · lines 508–512

aosSigned

Full file
--------------------------------------------------------------------------- Encoding: a value as AOS-JSON/1 writes it
508def aosSigned =
509  (lambda unrestricted negative : Nat . (lambda unrestricted magnitude : Nat . (lambda unrestricted fuel : Nat .
510    (aosChoose Bytes negative
511      (bytes-append b"-" (naturalDecimalBytesWithin fuel magnitude))
512      (naturalDecimalBytesWithin fuel magnitude)))))

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.