543def aosCoverageCode =
544 (lambda unrestricted record : (family JSON) .
545 (aosThen
546 (aosIdentityCode b"attempt_id" record)
547 (aosThen
548 (aosIdentityCode b"producer_id" record)
549 (aosThen
550 (aosIdentityCode b"producer_epoch" record)
551 (aosThen
552 (aosU64Code b"next_sequence" record)
553 (aosThen
554 (aosU64Code b"records_accepted" record)
555 (aosThen
556 (aosU64Code b"records_dropped" record)
557 (aosThen
558 (aosU64Code b"records_excluded" record)
559 (aosThen (aosBooleanCode b"dropped_exact" record) (aosCoverageModeCode record))))))))))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.