TraceContext.Read.clean: def of bend-trace-context@0.2.0.0
Import: import bend-trace-context@0.2.0.0/trace_context.bend as TraceContext
Lines 2849-2856 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=2849&end_line=2856

import Base

# The fields a later version does not know, once searched for a control
# character: none, or the offset of the first.
def Read.clean(found: Maybe<&2, Nat>) -> Result<&2, &2, Error, Unit>:
  match found:
    case None{}:
      Done{Unit{}}
    case Some{offset}:
      Fail{ControlCharacter{offset}}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bend-trace-context@0.2.0.0/trace_context.bend&name=Error