505def aosWalkCoverage =
506 (lambda unrestricted walk : (family AosWalk) .
507 (lambda unrestricted n : Nat .
508 (lambda unrestricted record : (family JSON) .
509 (let unrestricted key =
510 (aosProducerKeyOf record)
511 in
512 (eliminate
513 AosWalk
514 (lambda unrestricted current : (family AosWalk) . (family AosWalk))
515 walk
516 (branch
517 AosWalkValue
518 problem
519 line
520 code
521 producers
522 footer
523 complete
524 events
525 unknown
526 .
527 (aosChoose
528 (family AosWalk)
529 (aosCoverageConsistent (aosCoveragePrior key (aosFind key producers)) record)
530 (constructor
531 AosWalk
532 AosWalkValue
533 problem
534 line
535 code
536 (aosUpsert
537 key
538 (lambda unrestricted found : (family AosFound) .
539 (aosCoverageUpdate (aosCoveragePrior key found) record))
540 producers)
541 footer
542 complete
543 events
544 unknown)
545 (aosWalkFail walk 11 n 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.