186def aosArrayIsEmpty =
187 (lambda unrestricted value : (family JSON) .
188 (eliminate
189 JSON
190 (lambda unrestricted current : (family JSON) . Nat)
191 value
192 (branch JSONObject members membersInduction . 0)
193 (branch JSONObjectEnd . 0)
194 (branch JSONObjectMember key member tail memberInduction tailInduction . 0)
195 (branch JSONArray values valuesInduction . valuesInduction)
196 (branch JSONArrayEnd . 1)
197 (branch JSONArrayNext head tail headInduction tailInduction . 0)
198 (branch JSONString text . 0)
199 (branch JSONNumber digits . 0)
200 (branch JSONBoolean flag . 0)
201 (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.