every payload member, in order: the first failure's code
322def aosPayloadCode =
323 (lambda unrestricted payload : (family JSON) .
324 (eliminate
325 JSON
326 (lambda unrestricted current : (family JSON) . Nat)
327 payload
328 (branch JSONObject members membersInduction . membersInduction)
329 (branch JSONObjectEnd . 0)
330 (branch
331 JSONObjectMember
332 key
333 member
334 tail
335 memberInduction
336 tailInduction
337 .
338 (aosThen (aosPayloadMemberCode member) tailInduction))
339 (branch JSONArray values valuesInduction . 0)
340 (branch JSONArrayEnd . 0)
341 (branch JSONArrayNext head tail headInduction tailInduction . 0)
342 (branch JSONString text . 0)
343 (branch JSONNumber digits . 0)
344 (branch JSONBoolean flag . 0)
345 (branch JSONNull . 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.