def Truncation.dropped

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

import Base

2421# The keys of the entries removed, in their original order; none when the
2422# state already fitted.
2423def Truncation.dropped(truncation: Truncation) -> List<&2, StateKey>:
2424  match truncation:
2425    case Truncation{kept, dropped}:
2426      dropped