28family TelemetryDrainRoutineKind : Type 0
29constructor TelemetryDrainReadyRoutine
30constructor TelemetryDrainAppendRoutine
31field unrestricted drainAppendBound : Nat
32constructor TelemetryDrainCommitTagRoutine
33field unrestricted drainCommitOrdinary : Nat
34field unrestricted drainCommitReserved : Nat
35field unrestricted drainCommitRole : Nat
36field unrestricted drainCommitTag : Nat
37constructor TelemetryDrainReadTagRoutine
38field unrestricted drainReadOrdinary : Nat
39field unrestricted drainReadReserved : Nat
40field unrestricted drainReadRoutes : (family TelemetryRecordRoutes)
41constructor TelemetryDrainMatchTagRoutine
42field unrestricted drainMatchTag : 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.