def Injection.dropped

bend-trace-context@0.2.0.0 · trace_context.bend:3290

import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext

import Base

3290# The keys of the entries truncation dropped, in their original order; none
3291# when the state fitted.
3292def Injection.dropped(injection: Injection) -> List<&2, StateKey>:
3293  match injection:
3294    case Injection{carrier, dropped}:
3295      dropped

Uses (3)

Used by (2)