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

import Base

def arg_seq(lead: Utf8Lead, b: U32, rest: List<&2, U32>) -> ArgChar:
  match lead:
    case NotLead{}: ArgChar{byte_escape(b), 0n}
    case Utf8Lead{+more, bits, least}:
      arg_found(utf8_scalar(utf8_tail(rest, more, bits), least), more, b)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=ArgChar
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Utf8Lead
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_found
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=byte_escape
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=utf8_scalar
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=utf8_tail