TraceContext.StateValue.is_valid: def of bend-trace-context@0.2.0.0 Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext Lines 1789-1796 of bend-trace-context@0.2.0.0/trace_context.bend: https://jend.leeeet.dev/read.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&start_line=1789&end_line=1796 import Base # value = 0*255( chr ) nblk-chr: 1 to 256 printable ASCII characters other # than "," and "=", the last of which is not a space (W3C 3.3.2.2.2). def StateValue.is_valid(text: String) -> Bool: match text: case SNil{}: False{} case SCon{char, tail}: StateValue.valid.go(tail, char, 255n) Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=StateValue.valid.go