---------------------------------------------------------------------------
Producers
the producer epoch an event or a coverage record belongs to
158def aosProducerKeyOf =
159 (lambda unrestricted identity : (family JSON) .
160 (bytes-append
161 (aosMemberBytes b"attempt_id" identity)
162 (bytes-append
163 b"/"
164 (bytes-append
165 (aosMemberBytes b"producer_id" identity)
166 (bytes-append b"/" (aosMemberBytes b"producer_epoch" identity))))))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.