type StateKey
import bend-trace-context@0.2.0.0/trace_context.bend as TraceContextimport Base
1798# A tracestate key, naming the vendor that owns an entry. `evidence` proves the
1799# Level 2 key grammar for `text`, so a StateKey is always valid: build one with
1800# StateKey.parse (the negative fixture tests/reject/invalid_state_key.bend
1801# shows that direct construction with a wrong text does not compile).
1802type StateKey is Data:
1803 StateKey{text: String, evidence: {StateKey.is_valid(text) == True{} : Bool}}