Cfgio.export_args: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
Lines 340-345 of cswap-bend-cli@0.1.0.0/cfgio.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&start_line=340&end_line=345

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

def export_args(+verb: String, rest: List<&2, String>, run: IO(Cmd.Out)) -> IO(Cmd.Out):
  match rest:
    case Nil{}:
      run
    case Con{h, t}:
      IO.pure(Cmd.Out, usage(verb, "unrecognized arguments: " ++ String.join(Con{h, t}, " ")))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  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=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.join
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=usage
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out