the kind of a document value: 1 object, 2 array, 3 string, 4 number,
5 boolean, 6 null (0: a member or element chain, never a document value)
195def aosKind =
196 (lambda unrestricted value : (family JSON) .
197 (eliminate JSON (lambda unrestricted current : (family JSON) . Nat) value
198 (branch JSONObject members membersInduction . 1)
199 (branch JSONObjectEnd . 0)
200 (branch JSONObjectMember key member tail memberInduction tailInduction . 0)
201 (branch JSONArray values valuesInduction . 2)
202 (branch JSONArrayEnd . 0)
203 (branch JSONArrayNext head tail headInduction tailInduction . 0)
204 (branch JSONString text . 3)
205 (branch JSONNumber digits . 4)
206 (branch JSONBoolean flag . 5)
207 (branch JSONNull . 6)))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.