def run5

cswap-bend-cli@0.1.0.0 · exec.bend:173

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

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