one producer epoch's sequence state: the next sequence not yet seen (the
last seen plus one; 0 before any), the events seen, the drops declared
58family AosProducer : Type 0
59constructor AosProducerValue
60field unrestricted aosProducerKey : Bytes
61field unrestricted aosProducerNext : Nat
62field unrestricted aosProducerEvents : Nat
63field unrestricted aosProducerDrops : Nat
64field unrestricted aosProducerCoveredNext : Nat
65field unrestricted aosProducerExcluded : Nat
66field unrestricted aosProducerCoverageMode : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.