the value's JSON tree (members in the order the bootstrap writer uses)
522def aosValueJSON =
523 (lambda unrestricted value : (family AosValue) .
524 (eliminate AosValue (lambda unrestricted current : (family AosValue) . (family JSON)) value
525 (branch AosBool flag .
526 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"bool") (aosField b"v" (constructor JSON JSONBoolean flag) aosObjectEnd))))
527 (branch AosU64 n .
528 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"u64") (aosField b"v" (aosJSONText (naturalDecimalBytesWithin 20 n)) aosObjectEnd))))
529 (branch AosI64 negative magnitude .
530 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"i64") (aosField b"v" (aosJSONText (aosSigned negative magnitude 20)) aosObjectEnd))))
531 (branch AosBigInt negative magnitude .
532 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"bigint") (aosField b"v" (aosJSONText (aosSigned negative magnitude 4096)) aosObjectEnd))))
533 (branch AosDecimal coefficientNegative coefficient scaleNegative scale .
534 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"decimal")
535 (aosField b"coefficient" (aosJSONText (aosSigned coefficientNegative coefficient 4096))
536 (aosField b"scale" (aosJSONText (aosSigned scaleNegative scale 20)) aosObjectEnd)))))
537 (branch AosF32 bits .
538 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"f32") (aosField b"bits" (aosJSONText bits) aosObjectEnd))))
539 (branch AosF64 bits .
540 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"f64") (aosField b"bits" (aosJSONText bits) aosObjectEnd))))
541 (branch AosText text .
542 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"text") (aosField b"v" (aosJSONText text) aosObjectEnd))))
543 (branch AosBytes hex .
544 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"bytes") (aosField b"hex" (aosJSONText hex) aosObjectEnd))))
545 (branch AosRef kind identity .
546 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"ref") (aosField b"kind" (aosJSONText kind) (aosField b"id" (aosJSONText identity) aosObjectEnd)))))
547 (branch AosNull .
548 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"null") aosObjectEnd)))
549 (branch AosList items itemsInduction .
550 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"list") (aosField b"v" (constructor JSON JSONArray itemsInduction) aosObjectEnd))))
551 (branch AosItemsEnd . (constructor JSON JSONArrayEnd))
552 (branch AosItemsNext head tail headInduction tailInduction . (constructor JSON JSONArrayNext headInduction tailInduction))
553 (branch AosMap members membersInduction .
554 (constructor JSON JSONObject (aosField b"t" (aosJSONText b"map") (aosField b"v" (constructor JSON JSONObject membersInduction) aosObjectEnd))))
555 (branch AosMembersEnd . (constructor JSON JSONObjectEnd))
556 (branch AosMembersNext key member tail memberInduction tailInduction . (constructor JSON JSONObjectMember key memberInduction tailInduction))))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.