A required feature is interpretable only with its structural AND stream
state handlers. Unknown requirements continue to refuse full validation.
205def aosKnownRequirements =
206 (lambda unrestricted value : (family JSON) .
207 (eliminate
208 JSON
209 (lambda unrestricted current : (family JSON) . Nat)
210 value
211 (branch JSONObject members membersInduction . 0)
212 (branch JSONObjectEnd . 0)
213 (branch JSONObjectMember key member tail memberInduction tailInduction . 0)
214 (branch JSONArray values valuesInduction . valuesInduction)
215 (branch JSONArrayEnd . 1)
216 (branch
217 JSONArrayNext
218 head
219 tail
220 headInduction
221 tailInduction
222 .
223 (naturalAnd headInduction tailInduction))
224 (branch JSONString text . (bytes-equal text b"aos.coverage.cumulative@1"))
225 (branch JSONNumber digits . 0)
226 (branch JSONBoolean flag . 0)
227 (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.