type StateValue
import bend-trace-context@0.2.0.0/trace_context.bend as TraceContextimport Base
1805# A tracestate value, opaque to every other vendor. `evidence` proves the
1806# Level 2 value grammar for `text`. Leading spaces are part of the value.
1807type StateValue is Data:
1808 StateValue{text: String, evidence: {StateValue.is_valid(text) == True{} : Bool}}