Exec.run5: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/exec.bend as Exec
Lines 173-178 of cswap-bend-cli@0.1.0.0/exec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&start_line=173&end_line=178

import Base
import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/args.bend as Args

def run5(+ni: Cliops.Ni, +ok: Bool, +h: String, +rest: List<&2, String>, +over: Maybe<&2, String>, +err: String) -> IO(Cmd.Out):
  match ok:
    case True{}:
      switch_route(ni, over, Args.parse(h <> rest))
    case False{}:
      dispatch(ni, Args.PBad{Args.bad_text(err)})

Uses (12):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=Parsed
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=bad_text
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/args.bend&name=parse
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=Ni
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=dispatch
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=switch_route