1 when the JSON is a valid tagged value
485def aosIsValue =
486 (lambda unrestricted value : (family JSON) .
487 (eliminate AosDecoded (lambda unrestricted current : (family AosDecoded) . Nat) (aosDecodeValue value)
488 (branch AosDecodedValue decoded . 1)
489 (branch AosDecodeRejected . 0)))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.