TraceContext.Text.trim_ows: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2788-2793 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=2788&end_line=2793

import Base

# The text without the optional whitespace at its start and at its end (RFC
# 9110, section 5.5: "A field value does not include leading or trailing
# whitespace"). Reversing brings the end to the front, and reversing again
# brings it back.
def Text.trim_ows(text: String) -> String:
  String.reverse(Text.drop_ows(String.reverse(Text.drop_ows(text))))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.reverse
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Text.drop_ows