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

import Base

def arg_found(found: Maybe<&2, U32>, more: Nat, b: U32) -> ArgChar:
  match found:
    case None{}: ArgChar{byte_escape(b), 0n}
    case Some{x}: ArgChar{Chr{x}, more}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  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=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=byte_escape