a map's members, each value by `decode`
345def aosDecodeMembers =
346 (lambda unrestricted decode : (pi unrestricted value : (family JSON) . (family AosDecoded)) .
347 (lambda unrestricted object : (family JSON) .
348 (eliminate JSON (lambda unrestricted current : (family JSON) . (family AosDecoded)) object
349 (branch JSONObject members membersInduction .
350 (aosBind membersInduction (lambda unrestricted chain : (family AosValue) . (aosDecodedAs (constructor AosValue AosMap chain)))))
351 (branch JSONObjectEnd . (aosDecodedAs (constructor AosValue AosMembersEnd)))
352 (branch JSONObjectMember key member tail memberInduction tailInduction .
353 (aosBind (decode member) (lambda unrestricted first : (family AosValue) .
354 (aosBind tailInduction (lambda unrestricted rest : (family AosValue) .
355 (aosDecodedAs (constructor AosValue AosMembersNext key first rest)))))))
356 (branch JSONArray values valuesInduction . aosRejected)
357 (branch JSONArrayEnd . aosRejected)
358 (branch JSONArrayNext head tail headInduction tailInduction . aosRejected)
359 (branch JSONString text . aosRejected)
360 (branch JSONNumber digits . aosRejected)
361 (branch JSONBoolean flag . aosRejected)
362 (branch JSONNull . aosRejected))))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.