Cli.arg_text: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 7986-7992 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=7986&end_line=7992

import Base

# A raw argument as text: each well-formed UTF-8 sequence as its char, and
# each byte that starts none as U+DC00 plus the byte (PEP 383), decoding on
# from the next byte. Run.main reads argv through it.
def arg_text(bytes: List<&2, U32>) -> String:
  match bytes:
    case Nil{}: SNil{}
    case Con{b, +rest}: arg_text_go(rest, arg_char(b, rest))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_char
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_text_go