type Injection
import bend-trace-context@0.2.0.0/trace_context.bend as TraceContextimport Base
3209# The carrier an injection writes, and the keys of the entries that
3210# truncation to the output budget dropped from the state, in their original
3211# order: diagnostics, kept apart from the carrier.
3212type Injection is Data:
3213 Injection{carrier: List<&2, Header>, dropped: List<&2, StateKey>}