an object's number of members (0 for anything else: test first)
244def aosObjectSize =
245 (lambda unrestricted value : (family JSON) .
246 (eliminate JSON (lambda unrestricted current : (family JSON) . Nat) value
247 (branch JSONObject members membersInduction . membersInduction)
248 (branch JSONObjectEnd . 0)
249 (branch JSONObjectMember key member tail memberInduction tailInduction . (succ tailInduction))
250 (branch JSONArray values valuesInduction . 0)
251 (branch JSONArrayEnd . 0)
252 (branch JSONArrayNext head tail headInduction tailInduction . 0)
253 (branch JSONString text . 0)
254 (branch JSONNumber digits . 0)
255 (branch JSONBoolean flag . 0)
256 (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.