229def aosContainsCumulativeRequirement =
230 (lambda unrestricted value : (family JSON) .
231 (eliminate
232 JSON
233 (lambda unrestricted current : (family JSON) . Nat)
234 value
235 (branch JSONObject members membersInduction . 0)
236 (branch JSONObjectEnd . 0)
237 (branch JSONObjectMember key member tail memberInduction tailInduction . 0)
238 (branch JSONArray values valuesInduction . valuesInduction)
239 (branch JSONArrayEnd . 0)
240 (branch
241 JSONArrayNext
242 head
243 tail
244 headInduction
245 tailInduction
246 .
247 (naturalOr headInduction tailInduction))
248 (branch JSONString text . (bytes-equal text b"aos.coverage.cumulative@1"))
249 (branch JSONNumber digits . 0)
250 (branch JSONBoolean flag . 0)
251 (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.