229def aosBooleanFlag =
230 (lambda unrestricted value : (family JSON) .
231 (eliminate JSON (lambda unrestricted current : (family JSON) . Nat) value
232 (branch JSONObject members membersInduction . 0)
233 (branch JSONObjectEnd . 0)
234 (branch JSONObjectMember key member tail memberInduction tailInduction . 0)
235 (branch JSONArray values valuesInduction . 0)
236 (branch JSONArrayEnd . 0)
237 (branch JSONArrayNext head tail headInduction tailInduction . 0)
238 (branch JSONString text . 0)
239 (branch JSONNumber digits . 0)
240 (branch JSONBoolean flag . flag)
241 (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.