type TraceState

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

import Base

1927# Ordered vendor state: at most 32 entries with distinct keys, leftmost first.
1928# `evidence` proves both properties, so every TraceState has them (law
1929# state_valid).
1930type TraceState is Data:
1931  TraceState{entries: List<&2, StateEntry>, evidence: {TraceState.is_valid(entries) == True{} : Bool}}